Ubuntu
coq-doc package

Publishing history of coq-doc 8.4pl4-2 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2017-07-14 13:29:19 UTC	Superseded	Artful	release	multiverse	doc	8.4pl4-2
Removal requested on 2017-07-15. Superseded on 2017-07-14 by coq-doc - 8.6-1 Published on 2017-04-20 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2018-06-22 04:55:56 UTC	Obsolete	Zesty	release	multiverse	doc	8.4pl4-2
Removal requested on 2018-06-22. Published on 2016-10-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2018-01-23 00:52:03 UTC	Obsolete	Yakkety	release	multiverse	doc	8.4pl4-2
Removal requested on 2018-01-23. Published on 2016-04-22 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2016-02-12 07:28:56 UTC	Published	Xenial	release	multiverse	doc	8.4pl4-2
Published on 2016-02-12 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
		Deleted	Xenial	proposed	multiverse	doc	8.4pl4-2
Removal requested on 2016-02-12. Deleted on 2016-02-12 by Ubuntu Archive Robot moved to release Published on 2016-02-12 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)