Index of /raspbian/pool/main/g/gnome-shell-extension-manager

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]gnome-shell-extension-manager_0.5.1.orig.tar.gz01-May-2024 20:46 2.1M  Details
[   ]gnome-shell-extension-manager_0.4.0.orig.tar.gz24-Jan-2023 18:11 1.4M  Details
[   ]gnome-shell-extension-manager_0.5.1-2_armhf.deb17-Jun-2024 10:08 130K  Details
[   ]gnome-shell-extension-manager_0.4.0-1_armhf.deb10-Feb-2023 02:26 98K  Details
[   ]gnome-shell-extension-manager_0.4.0-1.debian.tar.xz24-Jan-2023 18:11 4.4K  Details
[   ]gnome-shell-extension-manager_0.5.1-2.debian.tar.xz12-Jun-2024 12:04 3.0K  Details
[TXT]gnome-shell-extension-manager_0.4.0-1.dsc24-Jan-2023 18:11 2.4K  Details
[TXT]gnome-shell-extension-manager_0.5.1-2.dsc12-Jun-2024 12:04 2.3K  Details

Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.org Port 80

MirrorBrain powered by Apache