Ubuntu

acl2-books-source binary package in Ubuntu Utopic amd64

Utopic (14.10)
amd64
acl2-books-source

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2016-11-03 06:09:53 UTC	Obsolete	Ubuntu Utopic amd64	release	universe	math	Optional	6.4-4
Removed from disk on 2016-11-03. Removal requested on 2016-11-03. Published on 2014-05-18 Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu
	2016-11-03 12:10:12 UTC	Deleted	Ubuntu Utopic amd64	proposed	universe	math	Optional	6.4-4
Removed from disk on 2016-11-03. Removal requested on 2014-05-18. Deleted on 2014-05-18 by Ubuntu Archive Robot moved to release Published on 2014-05-18 Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu
	2014-05-18 19:48:28 UTC	Superseded	Ubuntu Utopic amd64	release	universe	math	Optional	6.4-3
Removed from disk on 2014-05-20. Removal requested on 2014-05-19. Superseded on 2014-05-18 by i386 build of acl2 6.4-4 in ubuntu utopic PROPOSED Published on 2014-05-13 Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu
	2014-05-20 00:10:10 UTC	Deleted	Ubuntu Utopic amd64	proposed	universe	math	Optional	6.4-3
Removed from disk on 2014-05-20. Removal requested on 2014-05-13. Deleted on 2014-05-13 by Ubuntu Archive Robot moved to release Published on 2014-05-13 Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu
	2014-05-13 16:43:52 UTC	Superseded	Ubuntu Utopic amd64	release	universe	math	Optional	6.4-2
Removed from disk on 2014-05-14. Removal requested on 2014-05-14. Superseded on 2014-05-13 by i386 build of acl2 6.4-3 in ubuntu utopic PROPOSED Published on 2014-05-09 Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu
	2014-05-14 18:10:09 UTC	Deleted	Ubuntu Utopic amd64	proposed	universe	math	Optional	6.4-2
Removed from disk on 2014-05-14. Removal requested on 2014-05-09. Deleted on 2014-05-09 by Ubuntu Archive Robot moved to release Published on 2014-05-08 Copied from ubuntu utopic-proposed i386 in Primary Archive for Ubuntu
	2014-05-09 01:34:00 UTC	Superseded	Ubuntu Utopic amd64	release	universe	math	Optional	6.3-5
Removal requested on 2014-05-10. Superseded on 2014-05-09 by i386 build of acl2 6.4-2 in ubuntu utopic PROPOSED Published on 2014-04-23 Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu