Ubuntu

coq binary package in Ubuntu Zesty armhf

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-06-22 04:55:56 UTC	Obsolete	Ubuntu Zesty armhf	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 armhf in Primary Archive for Ubuntu
	2018-06-22 12:10:09 UTC	Deleted	Ubuntu Zesty armhf	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 06:34:18 UTC	Superseded	Ubuntu Zesty armhf	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 armhf 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 armhf	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 armhf 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 armhf	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 armhf 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 armhf	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 armhf build of coq 8.6-4 in ubuntu zesty PROPOSED Published on 2016-10-18 Copied from ubuntu yakkety-proposed armhf in Primary Archive for Ubuntu