Ubuntu

coq binary package in Ubuntu Intrepid sparc

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2013-02-20 03:30:20 UTC	Obsolete	Ubuntu Intrepid sparc	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 15:08:08 UTC	Superseded	Ubuntu Intrepid sparc	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 sparc build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE Published on 2008-04-28 Copied from ubuntu hardy-release sparc in Primary Archive for Ubuntu