Ubuntu

acl2-books binary package in Ubuntu Zesty armhf

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2017-05-12 00:10:11 UTC	Deleted	Ubuntu Zesty armhf	proposed	universe	math	Optional	7.2dfsg-3
Removed from disk on 2017-05-12. Removal requested on 2017-04-22. Deleted on 2017-04-22 by Adam Conrad Moved to artful-proposed Published on 2016-11-04
	2016-11-04 03:19:27 UTC	Superseded	Ubuntu Zesty armhf	proposed	universe	math	Optional	7.2dfsg-2build2
Removed from disk on 2016-11-05. Removal requested on 2016-11-05. Superseded on 2016-11-04 by armhf build of acl2 7.2dfsg-3 in ubuntu zesty PROPOSED Published on 2016-10-18 Copied from ubuntu yakkety-proposed armhf in Primary Archive for Ubuntu
	2018-06-22 04:55:56 UTC	Obsolete	Ubuntu Zesty armhf	release	universe	math	Optional	7.2dfsg-2
Removed from disk on 2020-07-10. Removal requested on 2018-06-22. Published on 2016-10-18 Copied from ubuntu yakkety-proposed armhf in Primary Archive for Ubuntu