Ubuntu

eprover-dbgsym binary package in Ubuntu Oracular ppc64el

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2024-06-11 20:18:27 UTC	Published	Ubuntu Oracular ppc64el	release	universe	math	Optional	3.1.0+ds-2
Published on 2024-06-11 Copied from ubuntu oracular-proposed ppc64el in Primary Archive for Ubuntu
		Deleted	Ubuntu Oracular ppc64el	proposed	universe	math	Optional	3.1.0+ds-2
Removal requested on 2024-06-11. Deleted on 2024-06-11 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-11
	2024-06-11 20:18:50 UTC	Superseded	Ubuntu Oracular ppc64el	release	universe	math	Optional	3.1.0+ds-1
Removed from disk on 2024-06-13. Removal requested on 2024-06-12. Superseded on 2024-06-11 by ppc64el build of eprover 3.1.0+ds-2 in ubuntu oracular PROPOSED Published on 2024-05-06 Copied from ubuntu oracular-proposed ppc64el in Primary Archive for Ubuntu
	2024-06-13 00:10:18 UTC	Deleted	Ubuntu Oracular ppc64el	proposed	universe	math	Optional	3.1.0+ds-1
Removed from disk on 2024-06-13. Removal requested on 2024-05-06. Deleted on 2024-05-06 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-05-03
	2024-05-06 11:14:21 UTC	Superseded	Ubuntu Oracular ppc64el	release	universe	math	Optional	3.0.03+ds-1
Removal requested on 2024-05-07. Superseded on 2024-05-06 by ppc64el build of eprover 3.1.0+ds-1 in ubuntu oracular PROPOSED Published on 2024-04-29 Copied from ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu