Ubuntu

coq binary package in Ubuntu Edgy i386

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2008-06-19 21:13:26 UTC	Obsolete	Ubuntu Edgy i386	release	universe	math	Optional	8.0pl3-2
Removed from disk on 2008-06-20. Removal requested on 2008-06-19. Published on 2006-07-25
	2006-07-25 16:11:54 UTC	Superseded	Ubuntu Edgy i386	release	universe	devel	Optional	8.0pl3-2
Removed from disk on 2006-07-26. Removal requested on 2006-07-26. Superseded on 2006-07-25 by i386 build of coq 8.0pl3-2 in ubuntu edgy RELEASE Published on 2006-07-13
	2006-07-13 16:12:38 UTC	Superseded	Ubuntu Edgy i386	release	universe	devel	Optional	8.0pl2-4
Removed from disk on 2006-07-14. Removal requested on 2006-07-14. Superseded on 2006-07-13 by i386 build of coq 8.0pl3-2 in ubuntu edgy RELEASE Published on 2006-06-08 Copied from ubuntu dapper-release i386 in Primary Archive for Ubuntu