Ubuntu
coq-doc package

Publishing history of coq-doc 8.4pl2-1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2014-10-25 05:14:54 UTC	Superseded	Vivid	release	multiverse	doc	8.4pl2-1
Removal requested on 2014-10-26. Superseded on 2014-10-25 by coq-doc - 8.4pl4-1 Published on 2014-10-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2016-11-03 06:09:53 UTC	Obsolete	Utopic	release	multiverse	doc	8.4pl2-1
Removal requested on 2016-11-03. Published on 2014-04-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2013-12-14 00:18:22 UTC	Published	Trusty	release	multiverse	doc	8.4pl2-1
Published on 2013-12-14 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
		Deleted	Trusty	proposed	multiverse	doc	8.4pl2-1
Removal requested on 2013-12-14. Deleted on 2013-12-14 by Ubuntu Archive Robot moved to release Published on 2013-12-13 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)