Ubuntu

acl2-books binary package in Ubuntu Artful ppc64el

Artful (17.10)
ppc64el
acl2-books

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-02-01 18:10:09 UTC	Deleted	Ubuntu Artful ppc64el	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
	2017-08-10 03:43:20 UTC	Superseded	Ubuntu Artful ppc64el	proposed	universe	math	Optional	7.4dfsg-3
Removed from disk on 2017-08-11. Removal requested on 2017-08-11. Superseded on 2017-08-10 by ppc64el build of acl2 7.4dfsg-3.1 in ubuntu artful PROPOSED Published on 2017-06-10
	2017-06-10 03:33:34 UTC	Superseded	Ubuntu Artful ppc64el	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 ppc64el build of acl2 7.4dfsg-3 in ubuntu artful PROPOSED Published on 2017-06-03
	2017-06-03 03:08:20 UTC	Superseded	Ubuntu Artful ppc64el	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 ppc64el build of acl2 7.4dfsg-2build1 in ubuntu artful PROPOSED Published on 2017-05-31
	2017-05-31 15:43:26 UTC	Superseded	Ubuntu Artful ppc64el	proposed	universe	math	Optional	7.4dfsg-1
Removed from disk on 2017-06-01. Removal requested on 2017-06-01. Superseded on 2017-05-31 by ppc64el build of acl2 7.4dfsg-2 in ubuntu artful PROPOSED Published on 2017-05-10
	2017-05-10 09:43:44 UTC	Superseded	Ubuntu Artful ppc64el	proposed	universe	math	Optional	7.2dfsg-3
Removed from disk on 2017-05-11. Removal requested on 2017-05-11. Superseded on 2017-05-10 by ppc64el build of acl2 7.4dfsg-1 in ubuntu artful PROPOSED Published on 2017-04-21 Copied from ubuntu zesty-proposed ppc64el in Primary Archive for Ubuntu