Debian
coq package

Publishing history of coq 8.2.pl2+dfsg-1 source package in Debian

	Date	Status	Target	Pocket	Component	Section	Version
	2011-09-21 04:01:36 UTC	Superseded	Wheezy	release	main	math	8.2.pl2+dfsg-1
Superseded on 2011-09-21 by coq - 8.3.pl2+dfsg-1 Published on 2011-02-07 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2010-08-01 20:09:48 UTC	Published	Squeeze	release	main	math	8.2.pl2+dfsg-1
Published on 2010-08-01 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2011-09-20 11:23:33 UTC	Superseded	Sid	release	main	math	8.2.pl2+dfsg-1
Superseded on 2011-09-20 by coq - 8.3.pl2+dfsg-1 Published on 2010-07-03