debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Update and firm up excluded files list	Benjamin Barenblat	2018-12-29
\| \| \| \| \| \| \| \| \|	Coq has introduced many new files in the last couple of years, including several that are not DFSG-free. Rebuild and document the list of files to be excluded from git-buildpackage imports. Additionally, delete the purify_tarball script, as it’s been replaced with the import filter.
*	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