Ubuntu

acl2-source binary package in Ubuntu Artful s390x

Artful (17.10)
s390x
acl2-source

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-02-01 18:10:09 UTC	Deleted	Ubuntu Artful s390x	proposed	universe	math	Optional	7.4dfsg-3.1
Removed from disk on 2018-02-01. Removal requested on 2017-10-25. Deleted on 2017-10-25 by Adam Conrad Moved to bionic-proposed Published on 2017-08-10 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-08-11 00:09:07 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	7.4dfsg-3
Removed from disk on 2017-08-12. Removal requested on 2017-08-12. Superseded on 2017-08-11 by amd64 build of acl2 7.4dfsg-3.1 in ubuntu artful PROPOSED Published on 2017-06-10 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-06-10 14:48:16 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	7.4dfsg-2build1
Removed from disk on 2017-06-11. Removal requested on 2017-06-11. Superseded on 2017-06-10 by amd64 build of acl2 7.4dfsg-3 in ubuntu artful PROPOSED Published on 2017-06-03 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-06-03 14:18:20 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	7.4dfsg-2
Removed from disk on 2017-06-04. Removal requested on 2017-06-04. Superseded on 2017-06-03 by amd64 build of acl2 7.4dfsg-2build1 in ubuntu artful PROPOSED Published on 2017-05-31 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-06-01 07:23:59 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	7.4dfsg-1
Removed from disk on 2017-06-02. Removal requested on 2017-06-02. Superseded on 2017-06-01 by amd64 build of acl2 7.4dfsg-2 in ubuntu artful PROPOSED Published on 2017-05-10 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-05-10 20:23:19 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	7.2dfsg-3
Removed from disk on 2017-05-12. Removal requested on 2017-05-11. Superseded on 2017-05-10 by amd64 build of acl2 7.4dfsg-1 in ubuntu artful PROPOSED Published on 2017-04-21 Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
	2020-07-10 15:03:46 UTC	Obsolete	Ubuntu Artful s390x	release	universe	math	Optional	7.2dfsg-2
Removed from disk on 2020-07-10. Removal requested on 2020-07-10. Published on 2017-04-20 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu