debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	debian/control: Update build dependencies	Benjamin Barenblat	2019-01-03
\| \| \| \| \| \| \|	https://github.com/coq/coq/commit/6b4a57051a470436b50d53e7395ec44b52e2dc7e requires rsync to collect test logs. This only really makes a difference in Coq’s CI environment, but it’s simpler to just let it do its thing than it is to patch the behavior out.
*	Stop distributing CoqIDE	Benjamin Barenblat	2019-01-03
\| \| \| \| \| \| \| \| \|	CoqIDE currently requires gtksourceview2, which has been removed from Debian (see https://bugs.debian.org/885677). Upstream has an active pull request to update to gtksourceview3 (https://github.com/coq/coq/pull/9279), and it looks like Debian may ship gtksourceview2 with buster anyway, so this is likely to be a temporary change.
*	debian/control: Update Git-* URLs for Salsa migration	Benjamin Barenblat	2019-01-03
\|
*	Update standards version	Benjamin Barenblat	2019-01-03
\|
*	Update to Debhelper 10	Benjamin Barenblat	2018-12-29
\|
*	Begin packaging 8.8.2	Benjamin Barenblat	2018-12-29
\|
*	Updated version 8.8.2 from 'upstream/8.8.2'	Benjamin Barenblat	2018-12-29
\|\ \| \| \| \|	with Debian dir a16bcf46abacaf1a684eda04f02555c984bf540d
\| *	Imported Upstream version 8.8.2upstream/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
\| \|
* \|	Imported Upstream version 8.6	Enrico Tassi	2016-12-27
\| \|
\| *	Imported Upstream version 8.6upstream/8.6	Enrico Tassi	2016-12-27
\| \|
* \|	fix FTBFS on slow architectures by disabling 4429debian/8.5-2	Enrico Tassi	2016-01-28
\| \|
* \|	8.5	Enrico Tassi	2016-01-26
\| \|
* \|	Merge tag 'upstream/8.5'	Enrico Tassi	2016-01-26
\|\\| \| \| \| \| \| \|	Upstream version 8.5
\| *	Imported Upstream version 8.5upstream/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
\| \|
* \|	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
\| \|