Ubuntu

coq binary package in Ubuntu Intrepid powerpc

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