debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	set version to beta3 in debian/rulesdebian/8.5_beta3+dfsg-1	Enrico Tassi	2015-11-14
\|
*	beta3	Enrico Tassi	2015-11-13
\|
*	Imported Upstream version 8.5~beta3+dfsg	Enrico Tassi	2015-11-13
\|\
\| *	Imported Upstream version 8.5~beta3+dfsgupstream/8.5_beta3+dfsg	Enrico Tassi	2015-11-13
\| \|
\| *	Imported Upstream version 8.5~beta3+dfsg	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
\| \|
* \|	Remove unneeded comment	Enrico Tassi	2015-07-15
\| \|
* \|	Merge tag 'upstream/8.5_beta2+dfsg' into test	Enrico Tassi	2015-07-15
\|\\| \| \| \| \| \| \|	Upstream version 8.5~beta2+dfsg
\| *	Imported Upstream version 8.5~beta2+dfsgupstream/8.5_beta2+dfsg	Enrico Tassi	2015-07-15
\| \|
* \|	update changelog	Enrico Tassi	2015-07-15
\| \|
* \|	override hardening-no-relro for native compute cmxs files	Enrico Tassi	2015-07-15
\| \|
* \|	.cma files are not executables	Enrico Tassi	2015-07-15
\| \|
* \|	make bin-nmuable	Enrico Tassi	2015-07-15
\| \|
* \|	Packaging 8.5beta1	Enrico Tassi	2015-07-14
\| \|
* \|	Merge tag 'upstream/8.5_beta1+dfsg'	Enrico Tassi	2015-01-25
\|\\| \| \| \| \| \| \|	Upstream version 8.5~beta1+dfsg
\| *	Imported Upstream version 8.5~beta1+dfsgupstream/8.5_beta1+dfsg	Enrico Tassi	2015-01-25
\| \|
\| *	Imported Upstream version 8.5~beta1+dfsg	Enrico Tassi	2015-01-25
\| \|
* \|	Prepare upload to unstabledebian/8.4pl4dfsg-1	Stephane Glondu	2014-07-27
\| \|
* \|	Update changelog	Stephane Glondu	2014-07-27
\| \|
* \|	Bump debhelper compat level to 9	Stephane Glondu	2014-07-27
\| \|
* \|	Bump Standards-Version to 3.9.5	Stephane Glondu	2014-07-27
\| \|
* \|	Switch debian/copyright to Format 1.0	Stephane Glondu	2014-07-27
\| \|
* \|	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
\|\\| \| \| \| \| \| \|	Upstream version 8.4pl4dfsg
\| *	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
\|\\| \| \| \| \| \| \|	Upstream version 8.4pl3dfsg
\| *	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
\| \|\ \ \ \| \| \| \|/ \| \| \|/\| \| \| \| \|	Upstream version 8.4pl2dfsg