Ubuntu
coq package

Publishing history of coq 8.4pl2dfsg-4 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2014-01-21 06:54:07 UTC	Superseded	Trusty	release	universe	devel	8.4pl2dfsg-4
Removed from disk on 2014-01-22. Removal requested on 2014-01-22. Superseded on 2014-01-21 by coq - 8.4pl3dfsg-1 Published on 2013-12-24 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2014-01-22 12:10:12 UTC	Deleted	Trusty	proposed	universe	devel	8.4pl2dfsg-4
Removed from disk on 2014-01-22. Removal requested on 2013-12-24. Deleted on 2013-12-24 by Ubuntu Archive Robot moved to release Published on 2013-12-04 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)