Ubuntu

acl2-source binary package in Ubuntu Yakkety amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2016-11-05 06:10:11 UTC	Deleted	Ubuntu Yakkety amd64	proposed	universe	math	Optional	7.2dfsg-2build2
Removed from disk on 2016-11-05. Removal requested on 2016-10-18. Deleted on 2016-10-18 by Adam Conrad Moved to zesty-proposed Published on 2016-09-27
	2016-10-11 23:59:07 UTC	Superseded	Ubuntu Yakkety amd64	proposed	universe	math	Optional	7.2dfsg-2build1
Removed from disk on 2016-10-13. Removal requested on 2016-10-12. Superseded on 2016-10-11 by amd64 build of acl2 7.2dfsg-2build2 in ubuntu yakkety PROPOSED Published on 2016-09-17
	2018-01-23 00:52:03 UTC	Obsolete	Ubuntu Yakkety amd64	release	universe	math	Optional	7.2dfsg-2
Removed from disk on 2020-07-10. Removal requested on 2018-01-23. Published on 2016-05-09 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu
	2020-07-10 18:10:10 UTC	Deleted	Ubuntu Yakkety amd64	proposed	universe	math	Optional	7.2dfsg-2
Removed from disk on 2020-07-10. Removal requested on 2016-05-09. Deleted on 2016-05-09 by Ubuntu Archive Robot moved to release Published on 2016-05-05
	2016-05-09 02:18:50 UTC	Superseded	Ubuntu Yakkety amd64	release	universe	math	Optional	7.1-1
Removal requested on 2016-05-10. Superseded on 2016-05-09 by amd64 build of acl2 7.2dfsg-2 in ubuntu yakkety PROPOSED Published on 2016-04-22 Copied from ubuntu wily-proposed amd64 in Primary Archive for Ubuntu