Ubuntu
gnat-gps package

Publishing history of gnat-gps 17.0.2017-1ubuntu1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2018-11-13 22:18:31 UTC	Superseded	Disco	release	universe	devel	17.0.2017-1ubuntu1
Removed from disk on 2020-07-13. Removal requested on 2018-11-14. Superseded on 2018-11-13 by gnat-gps - 18-2ubuntu2 Published on 2018-10-30 Copied from ubuntu cosmic in Primary Archive for Ubuntu
	2020-07-13 02:35:12 UTC	Obsolete	Cosmic	release	universe	devel	17.0.2017-1ubuntu1
Created on 2018-05-14 by Ubuntu Archive Auto-Sync Removed from disk on 2020-07-13. Removal requested on 2020-07-13. Published on 2018-05-14
	2020-07-13 06:10:10 UTC	Deleted	Cosmic	proposed	universe	devel	17.0.2017-1ubuntu1
Removed from disk on 2020-07-13. Removal requested on 2018-05-14. Deleted on 2018-05-14 by Ubuntu Archive Robot moved to release Published on 2018-05-04