Ubuntu

libgnatcoll-gmp17.0.2017 binary package in Ubuntu Artful armhf

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-07-10 15:03:46 UTC	Obsolete	Ubuntu Artful armhf	release	universe	libs	Optional	17.0.2017-3
Removal requested on 2020-07-10. Published on 2017-09-27 Copied from ubuntu artful-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Artful armhf	proposed	universe	libs	Optional	17.0.2017-3
Removal requested on 2017-09-27. Deleted on 2017-09-27 by Ubuntu Archive Robot moved to release Published on 2017-09-27
	2017-09-27 13:38:26 UTC	Superseded	Ubuntu Artful armhf	release	universe	libs	Optional	17.0.2017-2ubuntu2
Removed from disk on 2017-09-28. Removal requested on 2017-09-28. Superseded on 2017-09-27 by armhf build of libgnatcoll 17.0.2017-3 in ubuntu artful PROPOSED Published on 2017-09-02 Copied from ubuntu artful-proposed armhf in Primary Archive for Ubuntu
	2017-09-28 18:10:10 UTC	Deleted	Ubuntu Artful armhf	proposed	universe	libs	Optional	17.0.2017-2ubuntu2
Removed from disk on 2017-09-28. Removal requested on 2017-09-02. Deleted on 2017-09-02 by Ubuntu Archive Robot moved to release Published on 2017-09-01
	2017-09-01 07:35:25 UTC	Superseded	Ubuntu Artful armhf	proposed	universe	libs	Optional	17.0.2017-2ubuntu1
Removed from disk on 2017-09-02. Removal requested on 2017-09-02. Superseded on 2017-09-01 by armhf build of libgnatcoll 17.0.2017-2ubuntu2 in ubuntu artful PROPOSED Published on 2017-08-15