Ubuntu

proofgeneral binary package in Ubuntu Feisty i386

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2006-12-20 20:05:23 UTC	Superseded	Ubuntu Feisty i386	release	universe	editors	Optional	3.5-4
Removed from disk on 2006-12-21. Removal requested on 2006-12-21. Superseded on 2006-12-20 by i386 build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE Published on 2006-12-20
	2009-08-20 18:20:10 UTC	Obsolete	Ubuntu Feisty i386	release	universe	editors	Optional	3.5-4.1
Removed from disk on 2011-09-19. Removal requested on 2009-08-20. Published on 2006-12-20
	2006-12-20 20:05:23 UTC	Superseded	Ubuntu Feisty i386	release	universe	editors	Optional	3.5-3.1
Removed from disk on 2006-12-21. Removal requested on 2006-12-21. Superseded on 2006-12-20 by i386 build of proofgeneral 3.5-4.1 in ubuntu feisty RELEASE Published on 2006-11-10
	2006-11-10 18:04:35 UTC	Superseded	Ubuntu Feisty i386	release	universe	editors	Optional	3.5-3
Removed from disk on 2006-11-11. Removal requested on 2006-11-11. Superseded on 2006-11-10 by i386 build of proofgeneral 3.5-3.1 in ubuntu feisty RELEASE Published on 2006-10-26 Copied from ubuntu hoary-release ia64 in Primary Archive for Ubuntu