Ubuntu
gprbuild package

Publishing history of gprbuild 2019-3 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2020-12-31 10:49:50 UTC	Superseded	Hirsute	release	universe	devel	2019-3
Removal requested on 2022-07-23. Superseded on 2020-12-31 by gprbuild - 2021.0.0.0778b109-5 Published on 2020-10-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2021-12-22 19:51:25 UTC	Obsolete	Groovy	release	universe	devel	2019-3
Removal requested on 2021-12-22. Published on 2020-04-24 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2020-02-28 03:48:23 UTC	Published	Focal	release	universe	devel	2019-3
Published on 2020-02-28 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
		Deleted	Focal	proposed	universe	devel	2019-3
Removal requested on 2020-02-28. Deleted on 2020-02-28 by Ubuntu Archive Robot moved to Release Published on 2020-02-25 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)