debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
...
*	Update to Debhelper 10	Benjamin Barenblat	2018-12-29
\|
*	Begin packaging 8.8.2	Benjamin Barenblat	2018-12-29
\|
*	Update and firm up excluded files list	Benjamin Barenblat	2018-12-29
\| \| \| \| \| \| \| \| \|	Coq has introduced many new files in the last couple of years, including several that are not DFSG-free. Rebuild and document the list of files to be excluded from git-buildpackage imports. Additionally, delete the purify_tarball script, as it’s been replaced with the import filter.
*	Update debian/watch for GitHub switch	Benjamin Barenblat	2018-12-24
\| \| \| \| \| \| \| \|	The Coq developers now distribute Coq through GitHub rather than via a direct download from INRIA. Update debian/watch to point to GitHub. Tweak the version regex slightly to account for Coq using capital V in their version numbers (e.g., V8.7.2). Also tweak the regex to ignore any release with a + in it; those releases are preproduction releases.
*	Update changelog and prepare upload to unstabledebian/8.6-5	Stephane Glondu	2017-09-26
\|
*	Update Vcs-*	Stephane Glondu	2017-09-26
\|
*	Remove menu files	Stephane Glondu	2017-09-26
\|
*	Remove unused Lintian overrides	Stephane Glondu	2017-09-26
\|
*	fix ocamlfind package namedebian/8.6-4	Enrico Tassi	2016-12-30
\|
*	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
\|
*	set version to beta3 in debian/rulesdebian/8.5_beta3+dfsg-1	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
\|
*	Remove unneeded comment	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
\|
*	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
\|
*	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
\|
*	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 'experimental/master'	Stephane Glondu	2013-05-08
\|\
\| *	Update ABI	Stephane Glondu	2013-05-08
\| \|