debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Release 8.8.2-1 for unstabledebian/8.8.2-1	Benjamin Barenblat	2019-01-06
\|
*	Ignore the .pc directory when doing a build	Benjamin Barenblat	2019-01-03
\|
*	Package coq_makefile’s new Python dependency	Benjamin Barenblat	2019-01-03
\|
*	Correct spelling errors	Benjamin Barenblat	2019-01-03
\|
*	Don't run testsuite under nocheck build profile	Benjamin Barenblat	2019-01-03
\|
*	Update libcoq-ocaml{,-dev} install list	Benjamin Barenblat	2019-01-03
\|
*	Don’t try to install coqmktop	Benjamin Barenblat	2019-01-03
\| \| \| \| \|	Upstream deprecated it in favor of ocamlfind in https://github.com/coq/coq/commit/598e3ae4a8eb8d9bce316e13d71ee48d9ba1a01f.
*	Update coqdoc.sty installation path	Benjamin Barenblat	2019-01-03
\| \| \| \| \|	https://github.com/coq/coq/commit/5b506165097047aa8b6b431db9f2cbc8dbf6c3de corrected the installation path in upstream’s build process.
*	Explicitly build and install OCaml bytecode files	Benjamin Barenblat	2019-01-03
\| \| \| \| \| \| \| \| \| \| \|	Bytecode is no longer built by default, but it’s still essential on Debian platforms where OCaml has no native compiler. Run `make byte` and `make install-byte` to install bytecode. In the future, we may want to separate bytecode binaries and libraries into their own packages so users on platforms with native support don’t have to spend disk space on bytecode. For now, though, continue bundling native code and bytecode into the same package.
*	Disable tests which require `-coqlib` to be set	Benjamin Barenblat	2019-01-03
\| \| \| \| \| \|	A number of tests (mostly for coq_makefile) assume that Coq is installed when the test runs. This isn't true in an sbuild environment, though, so disable those tests.
*	debian/rules: Stop configuring with `-debug`	Benjamin Barenblat	2019-01-03
\| \| \| \| \| \|	https://github.com/coq/coq/commit/bdc74cd1b945b69f81264cb6df8eb793c0c6817f enabled debugging by default, and the flag’s since been deleted. Stop passing it.
*	debian/rules: Bump Coq version	Benjamin Barenblat	2019-01-03
\|
*	Disable ssrmatching	Benjamin Barenblat	2019-01-03
\| \| \| \| \| \| \|	ssrmatching has two files licensed under CeCILL-B, which I believe is a nonfree license. d7d80c5bea564b7cb0eadc33e9ee38c9d9de1cd8 removed those files from the source package; this commit disables the affected plugin in the build system.
*	Refresh patches	Benjamin Barenblat	2019-01-03
\| \| \| \| \|	Remove 0002-Remove-test-4366-too-picky-on-the-timeout.patch, since upstream has increased the timeout.
*	Install upstream’s CHANGES	Benjamin Barenblat	2019-01-03
\|
*	debian/copyright: Audit and update	Benjamin Barenblat	2019-01-03
\|
*	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
\| \|