Ubuntu

coq binary package in Ubuntu Gutsy amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2011-09-16 12:43:38 UTC	Obsolete	Ubuntu Gutsy amd64	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 16:03:34 UTC	Superseded	Ubuntu Gutsy amd64	release	universe	math	Optional	8.1+dfsg-4
Removed from disk on 2007-07-12. Removal requested on 2007-07-12. Superseded on 2007-07-11 by amd64 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE Published on 2007-05-04
	2007-05-04 00:05:08 UTC	Superseded	Ubuntu Gutsy amd64	release	universe	math	Optional	8.0pl3-2ubuntu1
Removed from disk on 2007-05-05. Removal requested on 2007-05-05. Superseded on 2007-05-04 by amd64 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE Published on 2007-04-20 Copied from ubuntu feisty-release amd64 in Primary Archive for Ubuntu