Ubuntu
gprbuild package

Publishing history of gprbuild 2015-6 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2017-09-02 00:53:48 UTC	Superseded	Artful	release	universe	devel	2015-6
Removed from disk on 2018-06-22. Removal requested on 2017-09-03. Superseded on 2017-09-02 by gprbuild - 2017-4 Published on 2017-04-20 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2018-06-22 04:55:56 UTC	Obsolete	Zesty	release	universe	devel	2015-6
Removed from disk on 2018-06-22. Removal requested on 2018-06-22. Published on 2017-04-08 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2018-06-22 12:10:09 UTC	Deleted	Zesty	proposed	universe	devel	2015-6
Removed from disk on 2018-06-22. Removal requested on 2017-04-08. Deleted on 2017-04-08 by Ubuntu Archive Robot moved to release Published on 2017-01-09 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)