../ LATEST-IS-3.20.1 12-Aug-2016 12:12 2M gnome-panel-3.20.0.news 16-Apr-2016 19:13 263 gnome-panel-3.20.0.sha256sum 16-Apr-2016 19:13 182 gnome-panel-3.20.0.tar.xz 16-Apr-2016 19:13 2M gnome-panel-3.20.1.news 12-Aug-2016 12:12 283 gnome-panel-3.20.1.sha256sum 12-Aug-2016 12:12 182 gnome-panel-3.20.1.tar.xz 12-Aug-2016 12:12 2M