debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Correct spelling errors	Benjamin Barenblat	2019-02-05
\|
*	Disable ssrmatching and ssreflect	Benjamin Barenblat	2019-02-05
\| \| \| \| \| \| \| \|	The nonfree file in ssrmatching I removed in cf916fd97fbac51af6fa68ec2704da2a28ef9ede turns out to be important to the build process, and I can’t figure out how to replicate its effects without including the file itself. Disable ssrmatching and ssreflect again until the license situation gets resolved.
*	Refresh patches	Benjamin Barenblat	2019-02-05
\|
*	Stop numbering patches	Benjamin Barenblat	2019-02-05
\| \| \| \| \|	Keeping patches sequentially numbered produces a messy Git history with many renames for compaction. It’s also redundant with the series file.
*	Prepare to import ssrmatching in 8.9.0	Benjamin Barenblat	2019-02-02
\| \| \| \| \| \| \| \| \| \|	Upstream has corrected most of the licensing issues with ssrmatching in 8.9.0. That version introduced one new file with a CeCILL-B license, but it’s an .mli file, so OCaml should be able to infer its contents. Don’t import the offending .mli, but do import the files with corrected license headers. Remove the patch introduced in 5d3dc22cc205021e517a81943952655c51777083 (which backported the correctly licensed files).
*	Restore ssrmatching and its reverse dependencies	Benjamin Barenblat	2019-01-17
\| \| \| \| \| \| \| \| \| \| \| \|	4181269ff800d58e60b886d0aaa2894444a9cd0d removed ssrmatching and everything that needed it because upstream had shipped a couple of files with bad license headers. Those files have now been fixed (https://github.com/coq/coq/pull/9282), so grab them from master and apply them in a patch. This restores ssrmatching to the Coq standard library. Once upstream cuts its next release, we should be able to delete the patch and simply import the files from the upstream tarball.
*	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
\|
*	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.
*	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.
*	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
\|
*	fix FTBFS on slow architectures by disabling 4429debian/8.5-2	Enrico Tassi	2016-01-28
\|
*	8.5	Enrico Tassi	2016-01-26
\|
*	Packaging 8.5beta1	Enrico Tassi	2015-07-14
\|
*	Disable micromega tests on Hurd	Stephane Glondu	2013-11-22
\|
*	Refresh patches	Stephane Glondu	2013-11-22
\|
*	Refresh patches	Stephane Glondu	2012-12-29
\|
*	Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output	Stephane Glondu	2012-09-22
\|
*	Refresh patches	Stephane Glondu	2012-06-04
\|
*	Disable a test that uses too much memory	Stephane Glondu	2012-01-15
\|
*	Fix an ordering issue that was causing a test to fail in bytecode	Stephane Glondu	2012-01-14
\|
*	Add distclean target to test-suite/Makefile	Stephane Glondu	2012-01-12
\|
*	Remove patch applied upstream	Stephane Glondu	2011-12-25
\|
*	Add patch to fix thumb2-related build error (Closes: #622882)	Stephane Glondu	2011-04-19
\|
*	New upstream release, update changelog	Stephane Glondu	2010-12-24
\|
*	Port to camlp5 6.02.1	Stephane Glondu	2010-12-06
\|
*	Add 0003-Support-for-camlp5-6.02.0.patch	Stephane Glondu	2010-11-17
\|
*	Add 0002-Fix-mixed-implicit-and-normal-rules.patch	Stephane Glondu	2010-10-19
\|
*	Add patch to fix test-suite	Stephane Glondu	2010-10-15
\|
*	New upstream release candidate	Stephane Glondu	2010-08-10
\|
*	Add 0001-Fix-installation-of-emacs-files.patch	Stephane Glondu	2010-07-24
\|
*	New upstream snapshot	Stephane Glondu	2010-07-21
\|
*	Add 0002-Remove-dependency-to-Unix-from-module-Profile.patch	Stephane Glondu	2010-07-02
\| \| \| \|	...to remove embedded Unix from grammar.cma
*	New upstream release	Stephane Glondu	2010-07-01
\|
*	Add 0003-Fix-build-with-OCaml-3.12.patch	Stephane Glondu	2010-06-28
\|
*	Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6	Stephane Glondu	2010-02-22
\|
*	Add 0001-Update-for-why-2.19.patch	Stephane Glondu	2009-08-29
\|
*	Remove dependency on dpatch	Stephane Glondu	2009-02-20
\|
*	Remove obsolete patches	Stephane Glondu	2008-09-08
\|
*	Add non-native-archs.dpatch	Stephane Glondu	2008-08-15
\| \| \| \|	Fix FTBFS on non-native architectures (Closes: #495165)
*	Add use-env-in-coq-config.dpatch	Stephane Glondu	2008-08-08
\| \| \| \| \|	Use environment variables by default in coq_config.ml. This allows the run of micromega-related tests before installation.
*	Remove browser.dpatch and use --browser configure option	Stephane Glondu	2008-08-08
\|
*	Updated and removed old patches.	Samuel Mimram	2008-07-25
\|
*	Added check.dpatch to remove warnings in tests.	Samuel Mimram	2007-11-29
\|
*	New upstream release.debian/8.1.pl2+dfsg-1	Samuel Mimram	2007-10-15
\|
*	Updated camlp5.dpatch.debian/8.1.pl1+dfsg-2	Samuel Mimram	2007-08-24
\|
*	Updated camlp5 patch.	Samuel Mimram	2007-08-24
\|