Ubuntu

proofgeneral binary package in Ubuntu Zesty amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-06-22 04:55:56 UTC	Obsolete	Ubuntu Zesty amd64	release	universe	editors	Optional	4.4.1~pre170114-1
Removal requested on 2018-06-22. Published on 2017-01-17 Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Zesty amd64	proposed	universe	editors	Optional	4.4.1~pre170114-1
Removal requested on 2017-01-17. Deleted on 2017-01-17 by Ubuntu Archive Robot moved to release Published on 2017-01-17
	2017-01-17 06:48:24 UTC	Superseded	Ubuntu Zesty amd64	release	universe	editors	Optional	4.4.1~pre161230-0.1
Removed from disk on 2017-01-18. Removal requested on 2017-01-18. Superseded on 2017-01-17 by amd64 build of proofgeneral 4.4.1~pre170114-1 in ubuntu zesty PROPOSED Published on 2017-01-01 Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu
	2017-01-18 12:10:19 UTC	Deleted	Ubuntu Zesty amd64	proposed	universe	editors	Optional	4.4.1~pre161230-0.1
Removed from disk on 2017-01-18. Removal requested on 2017-01-01. Deleted on 2017-01-01 by Ubuntu Archive Robot moved to release Published on 2016-12-31
	2017-01-01 00:08:20 UTC	Superseded	Ubuntu Zesty amd64	release	universe	editors	Optional	4.3~pre131011-0.2
Removal requested on 2017-01-02. Superseded on 2017-01-01 by amd64 build of proofgeneral 4.4.1~pre161230-0.1 in ubuntu zesty PROPOSED Published on 2016-10-18 Copied from ubuntu vivid-proposed amd64 in Primary Archive for Ubuntu