This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ gnome-shell-extensions_3.30.1-1.debian.tar.xz 02-Nov-2018 10:42 7336 gnome-shell-extensions_3.30.1-1.dsc 02-Nov-2018 10:42 2168 gnome-shell-extensions_3.30.1-1_all.deb 02-Nov-2018 12:14 164K gnome-shell-extensions_3.30.1.orig.tar.xz 02-Nov-2018 10:42 194K gnome-shell-extensions_3.38.2-1.debian.tar.xz 03-Dec-2020 14:10 8448 gnome-shell-extensions_3.38.2-1.dsc 03-Dec-2020 14:10 2336 gnome-shell-extensions_3.38.2-1_all.deb 03-Dec-2020 15:01 157K gnome-shell-extensions_3.38.2.orig.tar.xz 03-Dec-2020 14:10 205K gnome-shell-extensions_43.1-1.debian.tar.xz 22-Nov-2022 19:28 9312 gnome-shell-extensions_43.1-1.dsc 22-Nov-2022 19:28 2173 gnome-shell-extensions_43.1-1_all.deb 22-Nov-2022 19:58 157K gnome-shell-extensions_43.1.orig.tar.xz 22-Nov-2022 19:28 212K gnome-shell-extensions_46.2-2.debian.tar.xz 12-Jul-2024 22:36 9588 gnome-shell-extensions_46.2-2.dsc 12-Jul-2024 22:36 2256 gnome-shell-extensions_46.2-2_all.deb 13-Jul-2024 00:08 157K gnome-shell-extensions_46.2.orig.tar.xz 28-May-2024 20:21 218K