debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	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
\|
*	Preliminary patch for OCaml 3.10.	Samuel Mimram	2007-08-22
\|
*	Uploading to unstable.debian/8.1+dfsg-3	Samuel Mimram	2007-04-09
\|
*	Coq 8.1 becomes trunk.	Samuel Mimram	2007-03-24
\|
*	Install cmxa only on native archs.	Samuel Mimram	2007-02-18
\|
*	Correctly detect the presence of ocamlopt.	Samuel Mimram	2007-02-15
\|
*	New upstream release.	Samuel Mimram	2007-02-13
\|
*	Added next-ia64.dpatch to fix the FTBFS on ia64.	Samuel Mimram	2006-11-26
\|
*	Skip complexity checks.debian/8.1.gamma-2	Samuel Mimram	2006-11-23
\|
*	New upstream release.debian/8.1.gamma-1	Samuel Mimram	2006-11-21
\|
*	Check assertions in native mode too.debian/8.0pl3+8.1beta.2-1	Samuel Mimram	2006-07-13
\|
*	New upstream release.debian/8.0pl3+8.1beta-1	Samuel Mimram	2006-06-16
\|
*	Added makefile.dpatch in order for ocamlopt not to be called when compiling ↵	Samuel Mimram	2006-04-30
\| \| \| \|	on non-native archs.