Index of ftp://bo.mirror.garr.it/1/debian/pool/main/g/gnome-shell-extension-remove-dropdown-arrows

[DIR] Parent Directory

[ ] gnome-shell-extension-remove-dropdown-arrows_8-1_all.deb  3.00Kb  November 18 2016  [find mirrors]
[ ] gnome-shell-extension-remove-dropdown-arrows_8-1.debian.tar.xz  1.91Kb  November 18 2016  [find mirrors]
[ ] gnome-shell-extension-remove-dropdown-arrows_8-1.dsc  2.16Kb  November 18 2016  [find mirrors]
[ GZ] gnome-shell-extension-remove-dropdown-arrows_8.orig.tar.gz  35.15Kb  November 18 2016  [find mirrors]
[ ] gnome-shell-extension-remove-dropdown-arrows_9-1_all.deb  3.70Kb  February 12 2018  [find mirrors]
[ ] gnome-shell-extension-remove-dropdown-arrows_9-1.debian.tar.xz  2.00Kb  February 12 2018  [find mirrors]
[ ] gnome-shell-extension-remove-dropdown-arrows_9-1.dsc  2.19Kb  February 12 2018  [find mirrors]
[ GZ] gnome-shell-extension-remove-dropdown-arrows_9.orig.tar.gz  35.97Kb  February 12 2018  [find mirrors]