Ubuntu

acl2-books binary package in Ubuntu Vivid amd64

Vivid (15.04)
amd64
acl2-books

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-01-18 23:34:00 UTC	Obsolete	Ubuntu Vivid amd64	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 amd64 in Primary Archive for Ubuntu
	2018-01-19 06:10:09 UTC	Deleted	Ubuntu Vivid amd64	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-27
	2015-01-28 03:59:11 UTC	Superseded	Ubuntu Vivid amd64	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 amd64 build of acl2 7.0-1 in ubuntu vivid PROPOSED Published on 2014-12-11 Copied from ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
	2015-01-29 06:10:11 UTC	Deleted	Ubuntu Vivid amd64	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-27
	2014-10-27 19:54:21 UTC	Superseded	Ubuntu Vivid amd64	proposed	universe	math	Optional	6.5-4
Removed from disk on 2014-10-29. Removal requested on 2014-10-28. Superseded on 2014-10-27 by amd64 build of acl2 6.5-5 in ubuntu vivid PROPOSED Published on 2014-10-26
	2014-10-26 20:09:47 UTC	Superseded	Ubuntu Vivid amd64	proposed	universe	math	Optional	6.5-3
Removed from disk on 2014-10-28. Removal requested on 2014-10-27. Superseded on 2014-10-26 by amd64 build of acl2 6.5-4 in ubuntu vivid PROPOSED Published on 2014-10-26
	2014-12-11 01:25:33 UTC	Superseded	Ubuntu Vivid amd64	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 amd64 build of acl2 6.5-5 in ubuntu vivid PROPOSED Published on 2014-10-25 Copied from ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu
	2014-12-12 06:10:10 UTC	Deleted	Ubuntu Vivid amd64	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-24
	2014-10-25 10:07:15 UTC	Superseded	Ubuntu Vivid amd64	release	universe	math	Optional	6.4-4
Removed from disk on 2016-11-03. Removal requested on 2014-10-26. Superseded on 2014-10-25 by amd64 build of acl2 6.5-2 in ubuntu vivid PROPOSED Published on 2014-10-23 Copied from ubuntu utopic-proposed amd64 in Primary Archive for Ubuntu