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-1+dfsg.orig.tar.gz.delta	53821	log plain
-rw-r--r--	coq_8.2-1+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.2.pl1+dfsg.orig.tar.gz.delta	53933	log plain
-rw-r--r--	coq_8.2.pl1+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.2.pl2+dfsg.orig.tar.gz.delta	53062	log plain
-rw-r--r--	coq_8.2.pl2+dfsg.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
-rw-r--r--	coq_8.3+dfsg.orig.tar.gz.delta	1726070	log plain
-rw-r--r--	coq_8.3+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.orig.tar.gz.delta	61598	log plain
-rw-r--r--	coq_8.3.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.pl1+dfsg.orig.tar.gz.delta	53777	log plain
-rw-r--r--	coq_8.3.pl1+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.pl2+dfsg.orig.tar.gz.delta	54945	log plain
-rw-r--r--	coq_8.3.pl2+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.pl2.orig.tar.gz.delta	63152	log plain
-rw-r--r--	coq_8.3.pl2.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.pl3+dfsg.orig.tar.gz.delta	55599	log plain
-rw-r--r--	coq_8.3.pl3+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.pl3.orig.tar.gz.delta	60366	log plain
-rw-r--r--	coq_8.3.pl3.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.pl4+dfsg.orig.tar.gz.delta	55251	log plain
-rw-r--r--	coq_8.3.pl4+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3.pl4.orig.tar.gz.delta	64169	log plain
-rw-r--r--	coq_8.3.pl4.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3pl1.orig.tar.gz.delta	58439	log plain
-rw-r--r--	coq_8.3pl1.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.3~rc1+dfsg.orig.tar.gz.delta	87960	log plain
-rw-r--r--	coq_8.3~rc1+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4dfsg.orig.tar.gz.delta	66499	log plain
-rw-r--r--	coq_8.4dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4pl1dfsg.orig.tar.gz.delta	65446	log plain
-rw-r--r--	coq_8.4pl1dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4pl2dfsg.orig.tar.gz.delta	64940	log plain
-rw-r--r--	coq_8.4pl2dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4pl3dfsg.orig.tar.gz.delta	60701	log plain
-rw-r--r--	coq_8.4pl3dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4pl4dfsg.orig.tar.gz.delta	60695	log plain
-rw-r--r--	coq_8.4pl4dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4~beta+dfsg.orig.tar.gz.delta	1029082	log plain
-rw-r--r--	coq_8.4~beta+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4~beta.orig.tar.gz.delta	70136	log plain
-rw-r--r--	coq_8.4~beta.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz.delta	1107501	log plain
-rw-r--r--	coq_8.4~gamma0+really8.4beta2+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.4~gamma0+really8.4beta2.orig.tar.gz.delta	68869	log plain
-rw-r--r--	coq_8.4~gamma0+really8.4beta2.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.5.orig.tar.gz.delta	78166	log plain
-rw-r--r--	coq_8.5.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.5~beta1+dfsg.orig.tar.gz.delta	73751	log plain
-rw-r--r--	coq_8.5~beta1+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.5~beta2+dfsg.orig.tar.gz.delta	73448	log plain
-rw-r--r--	coq_8.5~beta2+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.5~beta3+dfsg.orig.tar.gz.delta	78177	log plain
-rw-r--r--	coq_8.5~beta3+dfsg.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.6.orig.tar.gz.delta	85601	log plain
-rw-r--r--	coq_8.6.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.8.2.orig.tar.gz.delta	102184	log plain
-rw-r--r--	coq_8.8.2.orig.tar.gz.id	41	log plain
-rw-r--r--	coq_8.9.0.orig.tar.gz.delta	106754	log plain
-rw-r--r--	coq_8.9.0.orig.tar.gz.id	41	log plain