debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	8.5	Enrico Tassi	2016-01-26
\|
*	Packaging 8.5beta1	Enrico Tassi	2015-07-14
\|
*	Disable micromega tests on Hurd	Stephane Glondu	2013-11-22
\|
*	Refresh patches	Stephane Glondu	2012-12-29
\|
*	Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output	Stephane Glondu	2012-09-22
\|
*	Refresh patches	Stephane Glondu	2012-06-04
\|
*	Disable a test that uses too much memory	Stephane Glondu	2012-01-15
\|
*	Fix an ordering issue that was causing a test to fail in bytecode	Stephane Glondu	2012-01-14
\|
*	Add distclean target to test-suite/Makefile	Stephane Glondu	2012-01-12
\|
*	Remove patch applied upstream	Stephane Glondu	2011-12-25
\|
*	Add patch to fix thumb2-related build error (Closes: #622882)	Stephane Glondu	2011-04-19
\|
*	New upstream release, update changelog	Stephane Glondu	2010-12-24
\|
*	Port to camlp5 6.02.1	Stephane Glondu	2010-12-06
\|
*	Add 0003-Support-for-camlp5-6.02.0.patch	Stephane Glondu	2010-11-17
\|
*	Add 0002-Fix-mixed-implicit-and-normal-rules.patch	Stephane Glondu	2010-10-19
\|
*	Add patch to fix test-suite	Stephane Glondu	2010-10-15
\|
*	New upstream release candidate	Stephane Glondu	2010-08-10
\|
*	Add 0001-Fix-installation-of-emacs-files.patch	Stephane Glondu	2010-07-24
\|
*	New upstream snapshot	Stephane Glondu	2010-07-21
\|
*	Add 0002-Remove-dependency-to-Unix-from-module-Profile.patch	Stephane Glondu	2010-07-02
\| \| \| \|	...to remove embedded Unix from grammar.cma
*	New upstream release	Stephane Glondu	2010-07-01
\|
*	Add 0003-Fix-build-with-OCaml-3.12.patch	Stephane Glondu	2010-06-28
\|
*	Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6	Stephane Glondu	2010-02-22
\|
*	Add 0001-Update-for-why-2.19.patch	Stephane Glondu	2009-08-29