Ubuntu

acl2-books binary package in Ubuntu Vivid arm64

Vivid (15.04)
arm64
acl2-books

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-01-18 23:34:00 UTC	Obsolete	Ubuntu Vivid arm64	release	universe	math	Optional	7.0-1
Removed from disk on 2018-01-19. Removal requested on 2018-01-18. Published on 2015-01-28 Copied from ubuntu vivid-proposed arm64 in Primary Archive for Ubuntu
	2018-01-19 06:10:09 UTC	Deleted	Ubuntu Vivid arm64	proposed	universe	math	Optional	7.0-1
Removed from disk on 2018-01-19. Removal requested on 2015-01-28. Deleted on 2015-01-28 by Ubuntu Archive Robot moved to release Published on 2015-01-28
	2015-01-28 03:59:11 UTC	Superseded	Ubuntu Vivid arm64	release	universe	math	Optional	6.5-5
Removed from disk on 2015-01-29. Removal requested on 2015-01-29. Superseded on 2015-01-28 by arm64 build of acl2 7.0-1 in ubuntu vivid PROPOSED Published on 2014-12-11 Copied from ubuntu vivid-proposed arm64 in Primary Archive for Ubuntu
	2015-01-29 06:10:11 UTC	Deleted	Ubuntu Vivid arm64	proposed	universe	math	Optional	6.5-5
Removed from disk on 2015-01-29. Removal requested on 2014-12-11. Deleted on 2014-12-11 by Ubuntu Archive Robot moved to release Published on 2014-10-28
	2014-10-28 05:48:29 UTC	Superseded	Ubuntu Vivid arm64	proposed	universe	math	Optional	6.5-4
Removed from disk on 2014-10-29. Removal requested on 2014-10-29. Superseded on 2014-10-28 by arm64 build of acl2 6.5-5 in ubuntu vivid PROPOSED Published on 2014-10-27
	2014-12-11 01:25:33 UTC	Superseded	Ubuntu Vivid arm64	release	universe	math	Optional	6.5-2
Removed from disk on 2014-12-12. Removal requested on 2014-12-12. Superseded on 2014-12-11 by arm64 build of acl2 6.5-5 in ubuntu vivid PROPOSED Published on 2014-10-25 Copied from ubuntu vivid-proposed arm64 in Primary Archive for Ubuntu
	2014-12-12 06:10:10 UTC	Deleted	Ubuntu Vivid arm64	proposed	universe	math	Optional	6.5-2
Removed from disk on 2014-12-12. Removal requested on 2014-10-25. Deleted on 2014-10-25 by Ubuntu Archive Robot moved to release Published on 2014-10-25
	2014-10-25 10:07:15 UTC	Superseded	Ubuntu Vivid arm64	release	universe	math	Optional	6.4-4
Removed from disk on 2016-11-04. Removal requested on 2014-10-26. Superseded on 2014-10-25 by arm64 build of acl2 6.5-2 in ubuntu vivid PROPOSED Published on 2014-10-23 Copied from ubuntu utopic-proposed arm64 in Primary Archive for Ubuntu