Commit 73bbefc63cb85914ebbbd2362f892eea68e88041 - coq

Upload to unstable. Samuel Mimram 16 years ago

1 changed file(s) with 6 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all

-0

debian/changelog less more

	0	coq (8.1.pl2+dfsg-2) unstable; urgency=low
	1
	2	* Upload to unstable.
	3
	4	-- Samuel Mimram <smimram@debian.org> Fri, 16 Nov 2007 19:20:24 +0000
	5
0	6	coq (8.1.pl2+dfsg-1) experimental; urgency=low
1	7
2	8	* New upstream release.