Ubuntu
coq-doc package

Publishing history of coq-doc 8.3pl4-1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2013-12-14 00:18:43 UTC	Superseded	Trusty	release	multiverse	doc	8.3pl4-1
Removed from disk on 2015-05-01. Removal requested on 2013-12-15. Superseded on 2013-12-14 by coq-doc - 8.4pl2-1 Published on 2013-10-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2015-04-24 12:50:55 UTC	Obsolete	Saucy	release	multiverse	doc	8.3pl4-1
Removed from disk on 2015-04-28. Removal requested on 2015-04-24. Published on 2013-04-25 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2015-04-24 12:12:58 UTC	Obsolete	Raring	release	multiverse	doc	8.3pl4-1
Removed from disk on 2015-04-27. Removal requested on 2015-04-24. Published on 2012-10-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2015-04-24 11:19:49 UTC	Obsolete	Quantal	release	multiverse	doc	8.3pl4-1
Removed from disk on 2015-05-01. Removal requested on 2015-04-24. Published on 2012-04-30 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)