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_44.0-2.debian.tar.xz 20-Aug-2023 23:43 9456 gnome-shell-extensions_44.0-2.dsc 20-Aug-2023 23:43 2358 gnome-shell-extensions_44.0-2_all.deb 21-Aug-2023 00:14 158K gnome-shell-extensions_44.0.orig.tar.xz 25-Apr-2023 10:12 212K gnome-shell-extensions_45.1-1kali1.debian.tar.xz 08-Nov-2023 15:40 13K gnome-shell-extensions_45.1-1kali1.dsc 08-Nov-2023 15:40 2309 gnome-shell-extensions_45.1-1kali1_all.deb 08-Nov-2023 15:41 142K gnome-shell-extensions_45.1.orig.tar.xz 08-Nov-2023 15:40 197K gnome-shell-extensions_46.0-1kali2.debian.tar.xz 15-Apr-2024 12:48 13K gnome-shell-extensions_46.0-1kali2.dsc 15-Apr-2024 12:48 2299 gnome-shell-extensions_46.0-1kali2_all.changes 15-Apr-2024 12:49 1492 gnome-shell-extensions_46.0-1kali2_all.deb 15-Apr-2024 12:49 149K gnome-shell-extensions_46.0-1kali2_source.build..> 15-Apr-2024 12:48 7080 gnome-shell-extensions_46.0-1kali2_source.changes 15-Apr-2024 12:48 2476 gnome-shell-extensions_46.0.orig.tar.xz 12-Apr-2024 16:31 203K