debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Use experimental branches	Stephane Glondu	2012-08-20
\|
*	Use filter-pristine-tar and change versioning scheme	Stephane Glondu	2012-08-20
\|
*	Promote 8.3 branch to master branch	Stephane Glondu	2011-04-19
\|
*	Add debian/source/local-options	Stephane Glondu	2010-10-31
\|
*	New branches	Stephane Glondu	2010-07-21
\|
*	Switch source package format to 3.0 (quilt)	Stephane Glondu	2010-07-01
\|
*	Add debian/gbp.conf	Stephane Glondu	2009-02-01