Ubuntu
gprbuild package

Publishing history of gprbuild 2022.0.0-7 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2022-08-11 10:34:44 UTC	Superseded	Kinetic	release	universe	devel	2022.0.0-7
Removed from disk on 2022-08-12. Removal requested on 2022-08-12. Superseded on 2022-08-11 by gprbuild - 2022.0.0-9 Published on 2022-06-09 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
	2022-08-12 12:10:10 UTC	Deleted	Kinetic	proposed	universe	devel	2022.0.0-7
Removed from disk on 2022-08-12. Removal requested on 2022-06-09. Deleted on 2022-06-09 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-06-07 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)