debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	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.
*	Last modifications before upload.debian/8.0pl3+8.1alpha-1	Samuel Mimram	2006-04-29
\|
*	Document the patch.	Samuel Mimram	2006-04-28
\|
*	Started to package the upcoming 8.1 release.	Samuel Mimram	2006-04-28
\|
*	Apply patch-coq-8.0pl3-ocaml-3.09 patch.	Samuel Mimram	2006-02-19
\|
*	Getting ready for the new release.debian/8.0pl3-1	Samuel Mimram	2006-01-19
\|
*	Updated to OCaml 3.09.0.debian/8.0pl2-4	Samuel Mimram	2005-11-21
\|
*	Switching to svn-buildpackage.debian/8.0pl2-3	Samuel Mimram	2005-09-07
\| \| \| \|	Added a patch to solve the FTBFS.
*	New upstream release: 8.0pl2.debian/8.0pl2-1	Samuel Mimram	2005-01-31
\|
*	Patched for OCaml 3.08.1 + other minor things.	Samuel Mimram	2004-08-23
\|