Ubuntu

acl2-emacs binary package in Ubuntu Eoan s390x

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-12-29 14:18:15 UTC	Obsolete	Ubuntu Eoan s390x	release	universe	math	Optional	8.1dfsg-3
Removed from disk on 2020-12-29. Removal requested on 2020-12-29. Published on 2019-04-22 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2020-12-29 18:10:09 UTC	Deleted	Ubuntu Eoan s390x	proposed	universe	math	Optional	8.1dfsg-3
Removed from disk on 2020-12-29. Removal requested on 2019-04-22. Deleted on 2019-04-22 by Ubuntu Archive Robot moved to release Published on 2019-04-21 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2019-04-22 13:23:45 UTC	Superseded	Ubuntu Eoan s390x	release	universe	math	Optional	8.0dfsg-1build1
Removed from disk on 2020-07-14. Removal requested on 2019-04-23. Superseded on 2019-04-22 by amd64 build of acl2 8.1dfsg-3 in ubuntu eoan PROPOSED Published on 2019-04-18 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu