Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update packaging for Emacs mode deletion | 2019-02-05 | |
| | | | | | | Proof General has been designated as the official interface to Coq, and Coq no longer ships a separate Emacs mode. Update packaging to purge references to the Emacs mode. | ||
* | Begin packaging 8.9.0 | 2019-02-05 | |
| | |||
* | Restore ssrmatching and its reverse dependencies | 2019-01-17 | |
| | | | | | | | | | | | | 4181269ff800d58e60b886d0aaa2894444a9cd0d removed ssrmatching and everything that needed it because upstream had shipped a couple of files with bad license headers. Those files have now been fixed (https://github.com/coq/coq/pull/9282), so grab them from master and apply them in a patch. This restores ssrmatching to the Coq standard library. Once upstream cuts its next release, we should be able to delete the patch and simply import the files from the upstream tarball. | ||
* | Release 8.8.2-1 for unstabledebian/8.8.2-1 | 2019-01-06 | |
| | |||
* | Don’t try to install coqmktop | 2019-01-03 | |
| | | | | | Upstream deprecated it in favor of ocamlfind in https://github.com/coq/coq/commit/598e3ae4a8eb8d9bce316e13d71ee48d9ba1a01f. | ||
* | Stop distributing CoqIDE | 2019-01-03 | |
| | | | | | | | | | CoqIDE currently requires gtksourceview2, which has been removed from Debian (see https://bugs.debian.org/885677). Upstream has an active pull request to update to gtksourceview3 (https://github.com/coq/coq/pull/9279), and it looks like Debian may ship gtksourceview2 with buster anyway, so this is likely to be a temporary change. | ||
* | Begin packaging 8.8.2 | 2018-12-29 | |
| | |||
* | Update changelog and prepare upload to unstabledebian/8.6-5 | 2017-09-26 | |
| | |||
* | depend on ocamlfind | 2016-12-29 | |
| | |||
* | fix FTBFS on mipsdebian/8.6-3 | 2016-12-29 | |
| | |||
* | fix FTBFS disabling some testsdebian/8.6-2 | 2016-12-28 | |
| | |||
* | Coq 8.6debian/8.6-1 | 2016-12-28 | |
| | |||
* | fix FTBFS on slow architectures by disabling 4429debian/8.5-2 | 2016-01-28 | |
| | |||
* | 8.5 | 2016-01-26 | |
| | |||
* | fix options passed to configure on non intel architecturesdebian/8.5_beta3+dfsg-2 | 2015-11-14 | |
| | |||
* | beta3 | 2015-11-13 | |
| | |||
* | enable make test-suite at build timedebian/8.5_beta2+dfsg-2 | 2015-07-20 | |
| | |||
* | disable native compiler on non-mainstream arches | 2015-07-20 | |
| | |||
* | fix build depsdebian/8.5_beta2+dfsg-1 | 2015-07-16 | |
| | |||
* | more overrides | 2015-07-15 | |
| | |||
* | beta2 | 2015-07-15 | |
| | |||
* | update changelog | 2015-07-15 | |
| | |||
* | make bin-nmuable | 2015-07-15 | |
| | |||
* | Packaging 8.5beta1 | 2015-07-14 | |
| | |||
* | Prepare upload to unstabledebian/8.4pl4dfsg-1 | 2014-07-27 | |
| | |||
* | Update changelog | 2014-07-27 | |
| | |||
* | New upstream release | 2014-07-27 | |
| | |||
* | Update changelog and prepare upload to unstabledebian/8.4pl3dfsg-1 | 2014-01-19 | |
| | |||
* | New upstream release | 2014-01-19 | |
| | |||
* | Prepare upload to unstabledebian/8.4pl2dfsg-4 | 2013-12-03 | |
| | |||
* | Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-3 | 2013-11-22 | |
| | |||
* | Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-2 | 2013-07-26 | |
| | |||
* | Prepare upload to unstabledebian/8.4pl2dfsg-1 | 2013-05-08 | |
| | |||
* | Merge branch 'experimental/master' | 2013-05-08 | |
|\ | |||
| * | New upstream release | 2013-05-08 | |
| | | |||
| * | Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1 | 2012-12-29 | |
| | | |||
| * | New upstream release | 2012-12-29 | |
| | | |||
| * | Update changelog and prepare upload to experimentaldebian/8.4dfsg-2 | 2012-09-22 | |
| | | |||
| * | Prepare upload to experimentaldebian/8.4dfsg-1 | 2012-08-20 | |
| | | |||
| * | New upstream release | 2012-08-20 | |
| | | |||
* | | Recompile with camlp5 6.06 (no changes) | 2012-06-06 | |
| | | |||
| * | Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1 | 2012-06-05 | |
| | | |||
| * | New upstream beta release | 2012-06-04 | |
| | | |||
| * | Recompile with camlp5 6.05 (no changes)debian/8.4_beta+dfsg-4 | 2012-04-06 | |
| | | |||
* | | Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1 | 2012-03-27 | |
| | | |||
* | | New upstream release | 2012-03-27 | |
| | | |||
* | | Recompile with camlp5 6.04 (no changes)debian/8.3.pl3+dfsg-2 | 2012-03-04 | |
| | | |||
| * | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-3 | 2012-01-15 | |
| | | |||
| * | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-2 | 2012-01-14 | |
| | | |||
| * | Prepare upload to experimentaldebian/8.4_beta+dfsg-1 | 2012-01-12 | |
| | |