Ubuntu

gnome-shell-extension-dash-to-panel binary package in Ubuntu Disco armhf

Disco (19.04)
armhf
gnome-shell-extension-dash-to-panel

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2019-03-07 12:10:14 UTC	Deleted	Ubuntu Disco armhf	release	universe	gnome	Optional	18-1
Removed from disk on 2019-03-07. Removal requested on 2019-03-07. Deleted on 2019-03-07 by Sebastien Bacher Not compatible with the new gnome-shell Published on 2019-01-16 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2019-03-07 12:10:14 UTC	Deleted	Ubuntu Disco armhf	proposed	universe	gnome	Optional	18-1
Removed from disk on 2019-03-07. Removal requested on 2019-01-16. Deleted on 2019-01-16 by Ubuntu Archive Robot moved to release Published on 2019-01-16 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2019-01-16 12:18:18 UTC	Superseded	Ubuntu Disco armhf	release	universe	gnome	Optional	17-1
Removed from disk on 2019-01-17. Removal requested on 2019-01-17. Superseded on 2019-01-16 by amd64 build of gnome-shell-extension-dash-to-panel 18-1 in ubuntu disco PROPOSED Published on 2019-01-04 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2019-01-17 18:10:09 UTC	Deleted	Ubuntu Disco armhf	proposed	universe	gnome	Optional	17-1
Removed from disk on 2019-01-17. Removal requested on 2019-01-04. Deleted on 2019-01-04 by Ubuntu Archive Robot moved to release Published on 2019-01-04 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2019-01-04 23:58:27 UTC	Superseded	Ubuntu Disco armhf	release	universe	gnome	Optional	16-1
Removed from disk on 2020-07-13. Removal requested on 2019-01-05. Superseded on 2019-01-04 by amd64 build of gnome-shell-extension-dash-to-panel 17-1 in ubuntu disco PROPOSED Published on 2018-10-30 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu