debian-coq - Debian packaging for Coq

	Commit message (Expand)	Author	Age
...
* \|	Bump ABI	Stephane Glondu	2014-07-27
* \|	New upstream release	Stephane Glondu	2014-07-27
* \|	Merge tag 'upstream/8.4pl4dfsg'	Stephane Glondu	2014-07-27
\|\\|
\| *	Imported Upstream version 8.4pl4dfsgupstream/8.4pl4dfsg	Stephane Glondu	2014-07-27
* \|	Update changelog and prepare upload to unstabledebian/8.4pl3dfsg-1	Stephane Glondu	2014-01-19
* \|	Update README.Debian (Closes: #680248)	Stephane Glondu	2014-01-19
* \|	Update ABI	Stephane Glondu	2014-01-19
* \|	New upstream release	Stephane Glondu	2014-01-19
* \|	Merge tag 'upstream/8.4pl3dfsg'	Stephane Glondu	2014-01-19
\|\\|
\| *	Imported Upstream version 8.4pl3dfsgupstream/8.4pl3dfsg	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
* \|	Disable micromega tests on Hurd	Stephane Glondu	2013-11-22
* \|	Refresh patches	Stephane Glondu	2013-11-22
* \|	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
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| \| * \|	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
\| * \| \|	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
\| \|\\| \|
\| \| * \|	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
\| \|\\| \|
\| \| * \|	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
\| \|\\| \|
\| \| * \|	Remove non-DFSG contentsupstream/8.4_gamma0+really8.4beta2+dfsg	Stephane Glondu	2012-06-04
\| \| \|\ \