Ubuntu
proofgeneral package

Publishing history of proofgeneral 4.4.1~pre170114-1.1ubuntu1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2019-12-19 20:33:27 UTC	Superseded	Focal	release	universe	editors	4.4.1~pre170114-1.1ubuntu1
Removed from disk on 2020-12-29. Removal requested on 2019-12-20. Superseded on 2019-12-19 by proofgeneral - 4.4.1~pre170114-1.2 Published on 2019-10-18 Copied from ubuntu eoan in Primary Archive for Ubuntu
	2020-12-29 14:18:15 UTC	Obsolete	Eoan	release	universe	editors	4.4.1~pre170114-1.1ubuntu1
Created on 2019-10-01 by Ubuntu Archive Auto-Sync Removed from disk on 2020-12-29. Removal requested on 2020-12-29. Published on 2019-10-01
	2020-12-29 18:10:09 UTC	Deleted	Eoan	proposed	universe	editors	4.4.1~pre170114-1.1ubuntu1
Removed from disk on 2020-12-29. Removal requested on 2019-10-01. Deleted on 2019-10-01 by Ubuntu Archive Robot moved to Release Published on 2019-10-01