debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Merge branch 'experimental/master'	Stephane Glondu	2013-05-08
\|\
\| *	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