Ubuntu
alt-ergo package

Publishing history of alt-ergo 2.0.0-4 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2019-10-23 22:13:23 UTC	Superseded	Focal	release	universe	math	2.0.0-4
Removed from disk on 2020-12-29. Removal requested on 2019-10-24. Superseded on 2019-10-23 by alt-ergo - 2.0.0-5 Published on 2019-10-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2020-12-29 14:18:15 UTC	Obsolete	Eoan	release	universe	math	2.0.0-4
Removed from disk on 2020-12-29. Removal requested on 2020-12-29. Published on 2019-07-31 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2020-12-29 18:10:09 UTC	Deleted	Eoan	proposed	universe	math	2.0.0-4
Removed from disk on 2020-12-29. Removal requested on 2019-07-31. Deleted on 2019-07-31 by Ubuntu Archive Robot moved to release Published on 2019-07-31 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)