Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/g/gnome-shell-extension-manager/?C=M;O=A |
|
Name Last modified Size
Parent Directory - gnome-shell-extension-manager_0.4.0-1.dsc 24-Jan-2023 19:11 2.4K gnome-shell-extension-manager_0.4.0.orig.tar.gz 24-Jan-2023 19:11 1.4M gnome-shell-extension-manager_0.4.0-1.debian.tar.xz 24-Jan-2023 19:11 4.4K gnome-shell-extension-manager_0.4.0-1_i386.deb 24-Jan-2023 19:46 112K gnome-shell-extension-manager_0.4.0-1_amd64.deb 24-Jan-2023 19:56 107K gnome-shell-extension-manager_0.4.0-1_armhf.deb 24-Jan-2023 19:56 99K gnome-shell-extension-manager_0.4.0-1_arm64.deb 24-Jan-2023 19:56 104K gnome-shell-extension-manager_0.5.1-1.dsc 01-May-2024 22:46 2.3K gnome-shell-extension-manager_0.5.1-1.debian.tar.xz 01-May-2024 22:46 2.6K gnome-shell-extension-manager_0.5.1.orig.tar.gz 01-May-2024 22:46 2.1M gnome-shell-extension-manager_0.5.1-1_i386.deb 01-May-2024 23:17 153K gnome-shell-extension-manager_0.5.1-1_arm64.deb 01-May-2024 23:22 139K gnome-shell-extension-manager_0.5.1-1_armhf.deb 01-May-2024 23:22 132K gnome-shell-extension-manager_0.5.1-1_amd64.deb 01-May-2024 23:32 147K gnome-shell-extension-manager_0.5.1-1_riscv64.deb 01-May-2024 23:57 145K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!