Ubuntu

coqide binary package in Ubuntu Gutsy sparc

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