Directory: /debian/pool/main/g/gnome-shell-extension-remove-dropdown-arrows/
| Name | Size | Modified |
|---|---|---|
| Parent directory | — | — |
| gnome-shell-extension-remove-dropdown-arrows_13-1.debian.tar.xz | 2.17K | Fri Sep 20 2019 |
| gnome-shell-extension-remove-dropdown-arrows_13-1.dsc | 2.32K | Fri Sep 20 2019 |
| gnome-shell-extension-remove-dropdown-arrows_13-1_all.deb | 3.93K | Fri Sep 20 2019 |
| gnome-shell-extension-remove-dropdown-arrows_13.orig.tar.gz | 36K | Fri Sep 20 2019 |