Ubuntu

coqide binary package in Ubuntu Artful ppc64el

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-07-10 15:03:46 UTC	Obsolete	Ubuntu Artful ppc64el	release	universe	math	Optional	8.6-4build3
Removed from disk on 2020-07-10. Removal requested on 2020-07-10. Published on 2017-09-01 Copied from ubuntu artful-proposed ppc64el in Primary Archive for Ubuntu
	2020-07-10 18:10:10 UTC	Deleted	Ubuntu Artful ppc64el	proposed	universe	math	Optional	8.6-4build3
Removed from disk on 2020-07-10. Removal requested on 2017-09-01. Deleted on 2017-09-01 by Ubuntu Archive Robot moved to release Published on 2017-07-28
	2017-09-01 16:04:36 UTC	Superseded	Ubuntu Artful ppc64el	release	universe	math	Optional	8.6-4build2
Removed from disk on 2017-09-02. Removal requested on 2017-09-02. Superseded on 2017-09-01 by ppc64el build of coq 8.6-4build3 in ubuntu artful PROPOSED Published on 2017-07-18 Copied from ubuntu artful-release ppc64el in 2865 - 2017-07-14
	2017-09-02 18:10:11 UTC	Deleted	Ubuntu Artful ppc64el	proposed	universe	math	Optional	8.6-4build2
Removed from disk on 2017-09-02. Removal requested on 2017-07-18. Deleted on 2017-07-18 by Ubuntu Archive Robot moved to release Published on 2017-07-16 Copied from ubuntu artful-release ppc64el in 2865 - 2017-07-14
	2017-07-16 19:13:48 UTC	Superseded	Ubuntu Artful ppc64el	proposed	universe	math	Optional	8.6-4build1
Removed from disk on 2017-07-18. Removal requested on 2017-07-17. Superseded on 2017-07-16 by ppc64el build of coq 8.6-4build2 in ubuntu artful RELEASE Published on 2017-06-30
	2017-07-18 04:38:29 UTC	Superseded	Ubuntu Artful ppc64el	release	universe	math	Optional	8.6-4
Removed from disk on 2018-06-22. Removal requested on 2017-07-19. Superseded on 2017-07-18 by ppc64el build of coq 8.6-4build2 in ubuntu artful RELEASE Published on 2017-04-20 Copied from ubuntu zesty-proposed ppc64el in Primary Archive for Ubuntu