Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
gnome-shell-extensions-extra_20230205.orig.tar.xz | 2023-02-05 11:07 | 3.2M | TAR compressed archive | |
gnome-shell-extensions-extra_20230205-2.debian.tar.xz | 2023-02-06 13:29 | 4.3K | TAR compressed archive | |
gnome-shell-extensions-extra_20230205-2.dsc | 2023-02-06 13:29 | 2.1K | ||
gnome-shell-extensions-extra_20230205-2_all.deb | 2023-02-06 15:25 | 106K | Debian Software Package | |