Ubuntu

coq-libs binary package in Ubuntu Gutsy i386

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2011-09-16 12:43:38 UTC	Obsolete	Ubuntu Gutsy i386	release	universe	math	Optional	8.1+dfsg-6
Removed from disk on 2011-09-19. Removal requested on 2011-09-16. Published on 2007-07-11
	2007-07-11 15:03:39 UTC	Superseded	Ubuntu Gutsy i386	release	universe	math	Optional	8.1+dfsg-5
Removed from disk on 2007-07-12. Removal requested on 2007-07-12. Superseded on 2007-07-11 by i386 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE Published on 2007-05-24
	2007-05-24 14:04:52 UTC	Superseded	Ubuntu Gutsy i386	release	universe	math	Optional	8.1+dfsg-4
Removed from disk on 2007-05-25. Removal requested on 2007-05-25. Superseded on 2007-05-24 by i386 build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE Published on 2007-05-03
	2007-05-03 18:04:09 UTC	Superseded	Ubuntu Gutsy i386	release	universe	math	Optional	8.0pl3-2ubuntu1
Removed from disk on 2007-05-04. Removal requested on 2007-05-04. Superseded on 2007-05-03 by i386 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE Published on 2007-04-20 Copied from ubuntu feisty-release i386 in Primary Archive for Ubuntu