Ubuntu

acl2-source binary package in Ubuntu Raring powerpc

Raring (13.04)
powerpc
acl2-source

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 12:12:58 UTC	Obsolete	Ubuntu Raring powerpc	release	universe	math	Optional	6.0-2
Removed from disk on 2015-04-27. Removal requested on 2015-04-24. Published on 2013-04-16 Copied from ubuntu raring-proposed i386 in Primary Archive for Ubuntu
	2015-04-27 07:11:02 UTC	Deleted	Ubuntu Raring powerpc	proposed	universe	math	Optional	6.0-2
Removed from disk on 2015-04-27. Removal requested on 2013-04-16. Deleted on 2013-04-16 by Ubuntu Archive Robot moved to release Published on 2013-01-14 Copied from ubuntu raring-proposed i386 in Primary Archive for Ubuntu
	2013-01-14 15:03:26 UTC	Superseded	Ubuntu Raring powerpc	proposed	universe	math	Optional	6.0-1
Removed from disk on 2013-01-15. Removal requested on 2013-01-15. Superseded on 2013-01-14 by i386 build of acl2 6.0-2 in ubuntu raring PROPOSED Published on 2013-01-13 Copied from ubuntu raring-proposed i386 in Primary Archive for Ubuntu
	2013-01-13 21:33:30 UTC	Superseded	Ubuntu Raring powerpc	proposed	universe	math	Optional	5.0-1
Removed from disk on 2013-01-15. Removal requested on 2013-01-14. Superseded on 2013-01-13 by i386 build of acl2 6.0-1 in ubuntu raring PROPOSED Published on 2012-10-28 Copied from ubuntu raring-proposed i386 in Primary Archive for Ubuntu
	2013-04-16 12:03:25 UTC	Superseded	Ubuntu Raring powerpc	release	universe	math	Optional	4.3-3
Removed from disk on 2015-04-27. Removal requested on 2013-04-17. Superseded on 2013-04-16 by i386 build of acl2 6.0-2 in ubuntu raring PROPOSED Published on 2012-10-18 Copied from ubuntu quantal-release i386 in Primary Archive for Ubuntu