Ubuntu

acl2 binary package in Ubuntu Quantal powerpc

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 11:19:49 UTC	Obsolete	Ubuntu Quantal powerpc	release	universe	math	Optional	4.3-3
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2012-05-18
	2012-05-18 23:03:51 UTC	Superseded	Ubuntu Quantal powerpc	release	universe	math	Optional	4.3-2
Removed from disk on 2012-05-20. Removal requested on 2012-05-19. Superseded on 2012-05-18 by powerpc build of acl2 4.3-3 in ubuntu quantal RELEASE Published on 2012-05-01
	2012-05-01 08:37:32 UTC	Superseded	Ubuntu Quantal powerpc	release	universe	math	Optional	4.2-1
Removal requested on 2012-05-02. Superseded on 2012-05-01 by powerpc build of acl2 4.3-2 in ubuntu quantal RELEASE Published on 2012-04-26 Copied from ubuntu oneiric-release powerpc in Primary Archive for Ubuntu