Ubuntu

coq binary package in Ubuntu Zesty powerpc

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2017-04-06 06:10:11 UTC	Deleted	Ubuntu Zesty powerpc	release	universe	math	Optional	8.6-4
Removed from disk on 2017-04-06. Removal requested on 2017-04-06. Deleted on 2017-04-06 by Launchpad Janitor powerpc obsoleted in zesty Published on 2017-01-23 Copied from ubuntu zesty-proposed powerpc in Primary Archive for Ubuntu
	2017-04-06 06:10:11 UTC	Deleted	Ubuntu Zesty powerpc	proposed	universe	math	Optional	8.6-4
Removed from disk on 2017-04-06. 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 06:03:43 UTC	Superseded	Ubuntu Zesty powerpc	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 powerpc build of coq 8.6-4 in ubuntu zesty PROPOSED Published on 2016-12-29
	2016-12-29 18:24:57 UTC	Superseded	Ubuntu Zesty powerpc	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 powerpc build of coq 8.6-3 in ubuntu zesty PROPOSED Published on 2016-12-29
	2016-12-29 06:13:56 UTC	Superseded	Ubuntu Zesty powerpc	proposed	universe	math	Optional	8.6-1
Removed from disk on 2016-12-30. Removal requested on 2016-12-30. Superseded on 2016-12-29 by powerpc build of coq 8.6-2 in ubuntu zesty PROPOSED Published on 2016-12-28
	2017-01-23 22:42:07 UTC	Superseded	Ubuntu Zesty powerpc	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 powerpc build of coq 8.6-4 in ubuntu zesty PROPOSED Published on 2016-10-18 Copied from ubuntu yakkety-proposed powerpc in Primary Archive for Ubuntu