Ubuntu
proofgeneral package

Publishing history of proofgeneral 4.5-1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2024-04-29 18:55:16 UTC	Published	Oracular	release	universe	editors	4.5-1
Published on 2024-04-29 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-10-23 22:30:24 UTC	Published	Noble	release	universe	editors	4.5-1
Published on 2023-10-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-08-17 19:48:51 UTC	Published	Mantic	release	universe	editors	4.5-1
Published on 2023-08-17 Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot) Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
		Deleted	Mantic	proposed	universe	editors	4.5-1
Removal requested on 2023-08-17. Deleted on 2023-08-17 by Ubuntu Archive Auto-Sync Moved to mantic Published on 2023-08-17 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)