Ubuntu
gnome-shell-extension-ubuntu-dock package

Publishing history of gnome-shell-extension-ubuntu-dock 0.7.1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2020-07-10 15:03:46 UTC	Obsolete	Artful	updates	main	gnome	0.7.1
Created on 2017-11-06 by Łukasz Zemczak Removed from disk on 2020-07-10. Removal requested on 2020-07-10. Published on 2017-11-06
	2017-11-06 16:58:22 UTC	Superseded	Bionic	release	main	gnome	0.7.1
Removed from disk on 2020-07-10. Removal requested on 2017-11-07. Superseded on 2017-11-06 by gnome-shell-extension-ubuntu-dock - 0.8 Published on 2017-10-27 Copied from ubuntu artful in Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2020-07-10 18:10:10 UTC	Deleted	Bionic	proposed	main	gnome	0.7.1
Removed from disk on 2020-07-10. Removal requested on 2017-10-27. Deleted on 2017-10-27 by Ubuntu Archive Robot moved to release Published on 2017-10-27 Copied from ubuntu artful in Primary Archive for Ubuntu by Jeremy Bícha
	2020-07-10 18:10:10 UTC	Deleted	Artful	proposed	main	gnome	0.7.1
Removed from disk on 2020-07-10. Removal requested on 2017-11-09. Deleted on 2017-11-09 by Andy Whitcroft moved to -updates Published on 2017-10-26