Ubuntu

proofgeneral 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	editors	Optional	4.2~pre120605-1
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2012-06-10
	2012-06-10 17:35:49 UTC	Superseded	Ubuntu Quantal i386	release	universe	editors	Optional	4.2~pre120411-2
Removed from disk on 2012-06-11. Removal requested on 2012-06-11. Superseded on 2012-06-10 by i386 build of proofgeneral 4.2~pre120605-1 in ubuntu quantal RELEASE Published on 2012-05-07
	2012-05-07 13:35:22 UTC	Superseded	Ubuntu Quantal i386	release	universe	editors	Optional	4.2~pre120206-1
Removed from disk on 2012-05-08. Removal requested on 2012-05-08. Superseded on 2012-05-07 by i386 build of proofgeneral 4.2~pre120411-2 in ubuntu quantal RELEASE Published on 2012-05-01
	2012-05-01 12:37:44 UTC	Superseded	Ubuntu Quantal i386	release	universe	editors	Optional	3.7-4
Removal requested on 2012-05-02. Superseded on 2012-05-01 by i386 build of proofgeneral 4.2~pre120206-1 in ubuntu quantal RELEASE Published on 2012-04-26 Copied from ubuntu natty-release i386 in Primary Archive for Ubuntu