Ubuntu

coqide binary package in Ubuntu Zesty ppc64el

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-06-22 04:55:56 UTC	Obsolete	Ubuntu Zesty ppc64el	release	universe	math	Optional	8.6-4
Removed from disk on 2018-06-22. Removal requested on 2018-06-22. Published on 2017-01-23 Copied from ubuntu zesty-proposed ppc64el in Primary Archive for Ubuntu
	2018-06-22 12:10:09 UTC	Deleted	Ubuntu Zesty ppc64el	proposed	universe	math	Optional	8.6-4
Removed from disk on 2018-06-22. Removal requested on 2017-01-23. Deleted on 2017-01-23 by Ubuntu Archive Robot moved to release Published on 2016-12-30
	2016-12-30 07:53:26 UTC	Superseded	Ubuntu Zesty ppc64el	proposed	universe	math	Optional	8.6-3
Removed from disk on 2016-12-31. Removal requested on 2016-12-31. Superseded on 2016-12-30 by ppc64el build of coq 8.6-4 in ubuntu zesty PROPOSED Published on 2016-12-29
	2016-12-29 19:43:30 UTC	Superseded	Ubuntu Zesty ppc64el	proposed	universe	math	Optional	8.6-2
Removed from disk on 2016-12-31. Removal requested on 2016-12-30. Superseded on 2016-12-29 by ppc64el build of coq 8.6-3 in ubuntu zesty PROPOSED Published on 2016-12-29
	2017-01-23 22:42:07 UTC	Superseded	Ubuntu Zesty ppc64el	release	universe	math	Optional	8.5-2build1
Removed from disk on 2018-01-23. Removal requested on 2017-01-24. Superseded on 2017-01-23 by ppc64el build of coq 8.6-4 in ubuntu zesty PROPOSED Published on 2016-10-18 Copied from ubuntu yakkety-proposed ppc64el in Primary Archive for Ubuntu