Ubuntu

libcoq-ocaml-dev 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	universe	libdevel	Optional	8.3.pl4+dfsg-2
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2012-06-08
	2012-06-08 18:04:51 UTC	Superseded	Ubuntu Quantal i386	release	universe	libdevel	Optional	8.3.pl4+dfsg-1build1
Removed from disk on 2012-06-09. Removal requested on 2012-06-09. Superseded on 2012-06-08 by i386 build of coq 8.3.pl4+dfsg-2 in ubuntu quantal RELEASE Published on 2012-05-16
	2012-05-16 03:04:12 UTC	Superseded	Ubuntu Quantal i386	release	universe	libdevel	Optional	8.3.pl4+dfsg-1
Removal requested on 2012-05-17. Superseded on 2012-05-16 by i386 build of coq 8.3.pl4+dfsg-1build1 in ubuntu quantal RELEASE Published on 2012-04-26 Copied from ubuntu precise-release i386 in Primary Archive for Ubuntu