Ubuntu

gnome-shell-extension-autohidetopbar binary package in Ubuntu Disco ppc64el

Disco (19.04)
ppc64el
gnome-shell-extension-autohidetopbar

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-07-14 06:39:25 UTC	Obsolete	Ubuntu Disco ppc64el	release	universe	gnome	Optional	20180908-2
Removed from disk on 2020-12-29. Removal requested on 2020-07-14. Published on 2018-12-30 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2020-12-29 18:10:09 UTC	Deleted	Ubuntu Disco ppc64el	proposed	universe	gnome	Optional	20180908-2
Removed from disk on 2020-12-29. Removal requested on 2018-12-30. Deleted on 2018-12-30 by Ubuntu Archive Robot moved to release Published on 2018-12-30 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2018-12-30 18:13:20 UTC	Superseded	Ubuntu Disco ppc64el	release	universe	gnome	Optional	20180908-1
Removed from disk on 2019-01-01. Removal requested on 2018-12-31. Superseded on 2018-12-30 by amd64 build of gnome-shell-extension-autohidetopbar 20180908-2 in ubuntu disco PROPOSED Published on 2018-12-30 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2018-12-31 18:10:11 UTC	Deleted	Ubuntu Disco ppc64el	proposed	universe	gnome	Optional	20180908-1
Removed from disk on 2018-12-31. Removal requested on 2018-12-30. Deleted on 2018-12-30 by Ubuntu Archive Robot moved to release Published on 2018-12-30 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2018-12-30 06:43:25 UTC	Superseded	Ubuntu Disco ppc64el	release	universe	gnome	Optional	20180511-2
Removed from disk on 2020-07-13. Removal requested on 2018-12-31. Superseded on 2018-12-30 by amd64 build of gnome-shell-extension-autohidetopbar 20180908-1 in ubuntu disco PROPOSED Published on 2018-10-30 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu