debian-coq - Debian packaging for Coq

Mode	Name	Size
-rw-r--r--	coq_8.0pl1.orig.tar.gz.delta	44992	log plain
-rw-r--r--	coq_8.0pl1.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.0pl2.orig.tar.gz.delta	44755	log plain
-rw-r--r--	coq_8.0pl2.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.0pl3+8.1alpha.orig.tar.gz.delta	46490	log plain
-rw-r--r--	coq_8.0pl3+8.1alpha.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.0pl3+8.1beta.2.orig.tar.gz.delta	50103	log plain
-rw-r--r--	coq_8.0pl3+8.1beta.2.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.0pl3+8.1beta.orig.tar.gz.delta	48777	log plain
-rw-r--r--	coq_8.0pl3+8.1beta.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.0pl3.orig.tar.gz.delta	46061	log plain
-rw-r--r--	coq_8.0pl3.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.1+dfsg.orig.tar.gz.delta	46093	log plain
-rw-r--r--	coq_8.1+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.1.pl1+dfsg.orig.tar.gz.delta	46138	log plain
-rw-r--r--	coq_8.1.pl1+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.1.pl2+dfsg.orig.tar.gz.delta	43715	log plain
-rw-r--r--	coq_8.1.pl2+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.1.pl3+dfsg.orig.tar.gz.delta	46058	log plain
-rw-r--r--	coq_8.1.pl3+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.1~gamma.orig.tar.gz.delta	47036	log plain
-rw-r--r--	coq_8.1~gamma.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.2~beta3+dfsg.orig.tar.gz.delta	52912	log plain
-rw-r--r--	coq_8.2~beta3+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.2~beta4+dfsg.orig.tar.gz.delta	51039	log plain
-rw-r--r--	coq_8.2~beta4+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.2~beta4.svn20080907+dfsg.orig.tar.gz.delta	48387	log plain
-rw-r--r--	coq_8.2~beta4.svn20080907+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.2~rc2+dfsg.orig.tar.gz.delta	53823	log plain
-rw-r--r--	coq_8.2~rc2+dfsg.orig.tar.gz.id	41	log plain