debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Release for unstableHEAD debian/8.9.0-1 master	Benjamin Barenblat	2019-02-06
\|
*	Update packaging for Emacs mode deletion	Benjamin Barenblat	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	Benjamin Barenblat	2019-02-05
\|
*	Restore ssrmatching and its reverse dependencies	Benjamin Barenblat	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	Benjamin Barenblat	2019-01-06
\|
*	Don’t try to install coqmktop	Benjamin Barenblat	2019-01-03
\| \| \| \| \|	Upstream deprecated it in favor of ocamlfind in https://github.com/coq/coq/commit/598e3ae4a8eb8d9bce316e13d71ee48d9ba1a01f.
*	Stop distributing CoqIDE	Benjamin Barenblat	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	Benjamin Barenblat	2018-12-29
\|
*	Update changelog and prepare upload to unstabledebian/8.6-5	Stephane Glondu	2017-09-26
\|
*	depend on ocamlfind	Enrico Tassi	2016-12-29
\|
*	fix FTBFS on mipsdebian/8.6-3	Enrico Tassi	2016-12-29
\|
*	fix FTBFS disabling some testsdebian/8.6-2	Enrico Tassi	2016-12-28
\|
*	Coq 8.6debian/8.6-1	Enrico Tassi	2016-12-28
\|
*	fix FTBFS on slow architectures by disabling 4429debian/8.5-2	Enrico Tassi	2016-01-28
\|
*	8.5	Enrico Tassi	2016-01-26
\|
*	fix options passed to configure on non intel architecturesdebian/8.5_beta3+dfsg-2	Enrico Tassi	2015-11-14
\|
*	beta3	Enrico Tassi	2015-11-13
\|
*	enable make test-suite at build timedebian/8.5_beta2+dfsg-2	Enrico Tassi	2015-07-20
\|
*	disable native compiler on non-mainstream arches	Enrico Tassi	2015-07-20
\|
*	fix build depsdebian/8.5_beta2+dfsg-1	Enrico Tassi	2015-07-16
\|
*	more overrides	Enrico Tassi	2015-07-15
\|
*	beta2	Enrico Tassi	2015-07-15
\|
*	update changelog	Enrico Tassi	2015-07-15
\|
*	make bin-nmuable	Enrico Tassi	2015-07-15
\|
*	Packaging 8.5beta1	Enrico Tassi	2015-07-14
\|
*	Prepare upload to unstabledebian/8.4pl4dfsg-1	Stephane Glondu	2014-07-27
\|
*	Update changelog	Stephane Glondu	2014-07-27
\|
*	New upstream release	Stephane Glondu	2014-07-27
\|
*	Update changelog and prepare upload to unstabledebian/8.4pl3dfsg-1	Stephane Glondu	2014-01-19
\|
*	New upstream release	Stephane Glondu	2014-01-19
\|
*	Prepare upload to unstabledebian/8.4pl2dfsg-4	Stephane Glondu	2013-12-03
\|
*	Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-3	Stephane Glondu	2013-11-22
\|
*	Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-2	Stephane Glondu	2013-07-26
\|
*	Prepare upload to unstabledebian/8.4pl2dfsg-1	Stephane Glondu	2013-05-08
\|
*	Merge branch 'experimental/master'	Stephane Glondu	2013-05-08
\|\
\| *	New upstream release	Stephane Glondu	2013-05-08
\| \|
\| *	Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1	Stephane Glondu	2012-12-29
\| \|
\| *	New upstream release	Stephane Glondu	2012-12-29
\| \|
\| *	Update changelog and prepare upload to experimentaldebian/8.4dfsg-2	Stephane Glondu	2012-09-22
\| \|
\| *	Prepare upload to experimentaldebian/8.4dfsg-1	Stephane Glondu	2012-08-20
\| \|
\| *	New upstream release	Stephane Glondu	2012-08-20
\| \|
* \|	Recompile with camlp5 6.06 (no changes)	Stephane Glondu	2012-06-06
\| \|
\| *	Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1	Stephane Glondu	2012-06-05
\| \|
\| *	New upstream beta release	Stephane Glondu	2012-06-04
\| \|
\| *	Recompile with camlp5 6.05 (no changes)debian/8.4_beta+dfsg-4	Stephane Glondu	2012-04-06
\| \|
* \|	Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1	Stephane Glondu	2012-03-27
\| \|
* \|	New upstream release	Stephane Glondu	2012-03-27
\| \|
* \|	Recompile with camlp5 6.04 (no changes)debian/8.3.pl3+dfsg-2	Stephane Glondu	2012-03-04
\| \|
\| *	Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-3	Stephane Glondu	2012-01-15
\| \|
\| *	Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-2	Stephane Glondu	2012-01-14
\| \|