Ubuntu
proofgeneral package

Publishing history of proofgeneral 4.3~pre130510-1.1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2014-10-26 09:34:28 UTC	Superseded	Vivid	release	universe	editors	4.3~pre130510-1.1
Removal requested on 2014-10-27. Superseded on 2014-10-26 by proofgeneral - 4.3~pre131011-0.1 Published on 2014-10-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2016-11-03 06:09:53 UTC	Obsolete	Utopic	release	universe	editors	4.3~pre130510-1.1
Removal requested on 2016-11-03. Published on 2014-04-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2014-02-28 12:58:26 UTC	Published	Trusty	release	universe	editors	4.3~pre130510-1.1
Published on 2014-02-28 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
		Deleted	Trusty	proposed	universe	editors	4.3~pre130510-1.1
Removal requested on 2014-02-28. Deleted on 2014-02-28 by Ubuntu Archive Robot moved to release Published on 2014-02-28 Copied from debian sid in Primary Archive for Debian GNU/Linux by Colin Watson