debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	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.
*	New debian/watch file by Bart Martens	Stephane Glondu	2013-05-08
\|
*	Use filter-pristine-tar and change versioning scheme	Stephane Glondu	2012-08-20
\|
*	Prepare upload to unstabledebian/8.2-1+dfsg-2	Stephane Glondu	2009-07-01
\|
*	Updated watch file.	Samuel Mimram	2009-04-06
\|
*	Updated watch file.	Samuel Mimram	2008-01-04
\|
*	Last modifications before upload.debian/8.0pl3+8.1alpha-1	Samuel Mimram	2006-04-29
\|
*	Let's see if coqide builds in bytecode on alpha.	Samuel Mimram	2004-08-17