Ubuntu

coq-doc-pdf binary package in Ubuntu Quantal i386

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 11:19:49 UTC	Obsolete	Ubuntu Quantal i386	release	multiverse	doc	Optional	8.3pl4-1
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2012-05-02
	2012-05-02 08:07:45 UTC	Superseded	Ubuntu Quantal i386	release	multiverse	doc	Optional	8.3pl2-1build1
Removal requested on 2012-05-03. Superseded on 2012-05-02 by i386 build of coq-doc 8.3pl4-1 in ubuntu quantal RELEASE Published on 2012-04-26 Copied from ubuntu precise-release i386 in Primary Archive for Ubuntu