Ubuntu

coq binary package in Ubuntu Hardy hppa

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 19:15:58 UTC	Obsolete	Ubuntu Hardy hppa	release	universe	math	Optional	8.1.pl3+dfsg-1
Removed from disk on 2015-04-30. Removal requested on 2015-04-24. Published on 2008-01-08
	2008-01-08 21:13:53 UTC	Superseded	Ubuntu Hardy hppa	release	universe	math	Optional	8.0pl2-4
Removed from disk on 2011-09-19. Removal requested on 2008-01-09. Superseded on 2008-01-08 by hppa build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE Published on 2007-10-18 Copied from ubuntu dapper-release hppa in Primary Archive for Ubuntu