debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-2	Stephane Glondu	2013-07-26
\|
*	Update Vcs-*	Stephane Glondu	2013-07-26
\|
*	Compile with OCaml >= 4	Stephane Glondu	2013-07-26
\|
*	Prepare upload to unstabledebian/8.4pl2dfsg-1	Stephane Glondu	2013-05-08
\|
*	Merge branch 'upstream'	Stephane Glondu	2013-05-08
\|\
\| *	Merge branch 'experimental/upstream' into upstream	Stephane Glondu	2013-05-08
\| \|\
* \| \	Merge branch 'experimental/master'	Stephane Glondu	2013-05-08
\|\ \ \
\| * \| \|	Update ABI	Stephane Glondu	2013-05-08
\| \| \| \|
\| * \| \|	New upstream release	Stephane Glondu	2013-05-08
\| \| \| \|
\| * \| \|	Merge tag 'upstream/8.4pl2dfsg' into experimental/master	Stephane Glondu	2013-05-08
\| \|\ \ \ \| \| \| \|/ \| \| \|/\| \| \| \| \|	Upstream version 8.4pl2dfsg
\| \| * \|	Imported Upstream version 8.4pl2dfsgupstream/8.4pl2dfsg	Stephane Glondu	2013-05-08
\| \| \| \|
\| * \| \|	New debian/watch file by Bart Martens	Stephane Glondu	2013-05-08
\| \| \| \|
\| * \| \|	Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1	Stephane Glondu	2012-12-29
\| \| \| \|
\| * \| \|	Add ocaml-findlib to Build-Depends...	Stephane Glondu	2012-12-29
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	...so that detection of lablgtk2 works
\| * \| \|	Update ABI	Stephane Glondu	2012-12-29
\| \| \| \|
\| * \| \|	Refresh patches	Stephane Glondu	2012-12-29
\| \| \| \|
\| * \| \|	New upstream release	Stephane Glondu	2012-12-29
\| \| \| \|
\| * \| \|	Merge tag 'upstream/8.4pl1dfsg' into experimental/master	Stephane Glondu	2012-12-29
\| \|\\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Upstream version 8.4pl1dfsg
\| \| * \|	Imported Upstream version 8.4pl1dfsgupstream/8.4pl1dfsg	Stephane Glondu	2012-12-29
\| \| \| \|
\| * \| \|	Update changelog and prepare upload to experimentaldebian/8.4dfsg-2	Stephane Glondu	2012-09-22
\| \| \| \|
\| * \| \|	Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output	Stephane Glondu	2012-09-22
\| \| \| \|
\| * \| \|	Prepare upload to experimentaldebian/8.4dfsg-1	Stephane Glondu	2012-08-20
\| \| \| \|
\| * \| \|	Update ABI	Stephane Glondu	2012-08-20
\| \| \| \|
\| * \| \|	New upstream release	Stephane Glondu	2012-08-20
\| \| \| \|
\| * \| \|	Merge tag 'upstream/8.4dfsg' into experimental/master	Stephane Glondu	2012-08-20
\| \|\\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Upstream version 8.4dfsg
\| \| * \|	Imported Upstream version 8.4dfsgupstream/8.4dfsg	Stephane Glondu	2012-08-20
\| \| \| \|
\| * \| \|	Use experimental branches	Stephane Glondu	2012-08-20
\| \| \| \|
\| * \| \|	Use filter-pristine-tar and change versioning scheme	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
\| \| \| \|
\| * \| \|	Dp plugin has been dropped	Stephane Glondu	2012-06-05
\| \| \| \|
\| * \| \|	Update ABI	Stephane Glondu	2012-06-04
\| \| \| \|
\| * \| \|	Refresh patches	Stephane Glondu	2012-06-04
\| \| \| \|
\| * \| \|	New upstream beta release	Stephane Glondu	2012-06-04
\| \| \| \|
\| * \| \|	Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/master	Stephane Glondu	2012-06-04
\| \|\\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Upstream version 8.4~gamma0+really8.4beta2+dfsg
\| \| * \|	Remove non-DFSG contentsupstream/8.4_gamma0+really8.4beta2+dfsg	Stephane Glondu	2012-06-04
\| \| \|\ \
\| \| \| * \|	Imported Upstream version 8.4~gamma0+really8.4beta2upstream/8.4_gamma0+really8.4beta2	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
\| \| \| \| \|
* \| \| \| \|	Bump Standards-Version to 3.9.3	Stephane Glondu	2012-03-27
\| \| \| \| \|
* \| \| \| \|	proofgeneral-coq has been dropped in favour of proofgeneral	Stephane Glondu	2012-03-27
\| \| \| \| \|
* \| \| \| \|	Call dh_install with --fail-missing	Stephane Glondu	2012-03-27
\| \| \| \| \|
* \| \| \| \|	New upstream release	Stephane Glondu	2012-03-27
\| \| \| \| \|
* \| \| \| \|	Merge tag 'upstream/8.3.pl4+dfsg'	Stephane Glondu	2012-03-27
\|\ \ \ \ \ \| \| \|_\|_\|/ \| \|/\| \| \| \| \| \| \| \|	Upstream version 8.3.pl4+dfsg
\| * \| \| \|	Remove non-DFSG contentsupstream/8.3.pl4+dfsg	Stephane Glondu	2012-03-27
\| \|\ \ \ \
\| \| * \| \| \|	Imported Upstream version 8.3.pl4upstream/8.3.pl4	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
\| \| \| \| \| \|
\| \| \| * \| \|	Disable a test that uses too much memory	Stephane Glondu	2012-01-15
\| \| \| \| \| \|
\| \| \| * \| \|	proofgeneral-coq has been dropped in favour of proofgeneral	Stephane Glondu	2012-01-14
\| \| \| \| \| \|