Ubuntu

coqide 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-13
	2006-07-13 16:12:38 UTC	Superseded	Ubuntu Edgy i386	release	universe	math	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