Ubuntu

coq binary package in Ubuntu Intrepid ia64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2013-02-20 03:30:20 UTC	Obsolete	Ubuntu Intrepid ia64	release	universe	math	Optional	8.1.pl3+dfsg-1build1
Removed from disk on 2013-02-28. Removal requested on 2013-02-20. Published on 2008-05-27
	2008-05-27 17:07:15 UTC	Superseded	Ubuntu Intrepid ia64	release	universe	math	Optional	8.1.pl3+dfsg-1
Removed from disk on 2015-04-30. Removal requested on 2008-05-28. Superseded on 2008-05-27 by ia64 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE Published on 2008-04-28 Copied from ubuntu hardy-release ia64 in Primary Archive for Ubuntu