Ubuntu

coq-theories binary package in Ubuntu Quantal i386

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 11:19:49 UTC	Obsolete	Ubuntu Quantal i386	release	universe	math	Optional	8.3.pl4+dfsg-2
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2012-06-08
	2012-06-09 16:34:14 UTC	Superseded	Ubuntu Quantal i386	release	universe	math	Optional	8.3.pl4+dfsg-1build1
Removed from disk on 2012-06-10. Removal requested on 2012-06-10. Superseded on 2012-06-09 by i386 build of coq 8.3.pl4+dfsg-2 in ubuntu quantal RELEASE Published on 2012-05-16
	2012-05-16 04:04:13 UTC	Superseded	Ubuntu Quantal i386	release	universe	math	Optional	8.3.pl4+dfsg-1
Removal requested on 2012-05-17. Superseded on 2012-05-16 by i386 build of coq 8.3.pl4+dfsg-1build1 in ubuntu quantal RELEASE Published on 2012-04-26 Copied from ubuntu precise-release i386 in Primary Archive for Ubuntu