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 !
../ Manifest.gz 04-Nov-2025 10:12 19K cinnamon-6.4.10-r1 26-Oct-2025 04:11 6628 cinnamon-6.4.13 26-Oct-2025 04:11 6630 cinnamon-control-center-6.4.1 23-Oct-2025 18:44 3320 cinnamon-control-center-6.4.2 23-Oct-2025 18:44 3322 cinnamon-desktop-6.4.1-r2 26-Oct-2025 04:11 2138 cinnamon-desktop-6.4.2 26-Oct-2025 04:11 2140 cinnamon-menus-6.4.0 26-Oct-2025 04:11 1268 cinnamon-screensaver-6.4.0-r1 23-Oct-2025 18:44 3238 cinnamon-screensaver-6.4.1 23-Oct-2025 18:44 3240 cinnamon-session-6.4.0-r1 26-Oct-2025 04:11 3035 cinnamon-session-6.4.2 26-Oct-2025 04:11 3037 cinnamon-settings-daemon-6.4.3-r1 23-Oct-2025 18:44 3329 cinnamon-settings-daemon-6.4.3-r2 23-Oct-2025 18:44 3333 cinnamon-translations-6.4.2 16-Jun-2025 04:41 503 cjs-128.0 26-Oct-2025 04:11 1754 cjs-6.4.0 26-Oct-2025 04:11 1782 eiciel-0.10.0 23-Oct-2025 18:44 1189 evolution-data-server-3.52.4-r4 04-Nov-2025 09:42 3682 evolution-data-server-3.54.3-r2 04-Nov-2025 09:42 3715 evolution-data-server-3.56.1-r1 04-Nov-2025 09:42 3673 evolution-data-server-3.56.2-r1 04-Nov-2025 09:42 3671 evolution-ews-3.52.4-r1 31-Oct-2025 23:41 1943 evolution-ews-3.54.3.0-r1 31-Oct-2025 23:41 1947 evolution-ews-3.56.1 31-Oct-2025 23:41 1943 evolution-ews-3.56.2 31-Oct-2025 23:41 1942 gnome-boxes-47.0-r1 26-Oct-2025 04:11 2538 gnome-boxes-48.0 26-Oct-2025 04:11 2538 gnome-browser-connector-42.1 23-Oct-2025 18:44 1876 gnome-browser-connector-42.1-r1 23-Oct-2025 18:44 2236 gnome-calculator-47.3-r1 26-Oct-2025 04:11 2029 gnome-calculator-48.1 26-Oct-2025 04:11 2029 gnome-calendar-47.0 23-Oct-2025 18:44 1889 gnome-calendar-48.1 23-Oct-2025 18:44 1889 gnome-characters-47.0 26-Oct-2025 04:11 1693 gnome-characters-48.0 26-Oct-2025 04:11 1685 gnome-clocks-47.0 23-Oct-2025 18:44 1626 gnome-clocks-48.0 23-Oct-2025 18:44 1656 gnome-color-manager-3.36.0-r1 23-Oct-2025 18:44 1531 gnome-color-manager-3.36.2-r1 23-Oct-2025 18:44 1498 gnome-commander-1.18.1-r1 23-Oct-2025 18:44 2040 gnome-commander-1.18.3 23-Oct-2025 18:44 2080 gnome-commander-1.18.4 23-Oct-2025 18:44 2080 gnome-contacts-46.0 26-Oct-2025 04:11 2287 gnome-contacts-47.1.1 26-Oct-2025 04:11 2328 gnome-directory-thumbnailer-0.1.11-r1 12-Oct-2025 15:26 1097 gnome-firmware-47.0-r1 23-Oct-2025 18:44 1441 gnome-firmware-49.0 23-Oct-2025 18:44 1452 gnome-getting-started-docs-3.38.1 15-Jul-2024 07:41 477 gnome-integration-spotify-20140907-r2 23-Oct-2025 18:44 1363 gnome-logs-43.0 23-Oct-2025 18:44 1422 gnome-logs-45.0 23-Oct-2025 18:44 1432 gnome-network-displays-0.97.0 23-Oct-2025 18:44 2287 gnome-network-displays-0.97.0-r1 23-Oct-2025 18:44 2328 gnome-power-manager-43.0 23-Oct-2025 18:44 1574 gnome-shell-extension-alphabetical-grid-42.0 12-Oct-2025 15:26 713 gnome-shell-extension-alphabetical-grid-43.0 12-Oct-2025 16:11 713 gnome-shell-extension-appindicator-60 23-Oct-2025 18:44 1031 gnome-shell-extension-appindicator-61 23-Oct-2025 18:44 1031 gnome-shell-extension-applications-overview-too..> 12-Oct-2025 15:26 667 gnome-shell-extension-applications-overview-too..> 12-Oct-2025 16:11 667 gnome-shell-extension-bing-wallpaper-51 12-Oct-2025 15:26 690 gnome-shell-extension-bing-wallpaper-52 12-Oct-2025 16:11 690 gnome-shell-extension-bluetooth-quick-connect-45 12-Oct-2025 15:26 735 gnome-shell-extension-control-blur-effect-on-lo..> 12-Oct-2025 15:26 776 gnome-shell-extension-dash-to-panel-68 12-Oct-2025 15:26 841 gnome-shell-extension-dash-to-panel-70 12-Oct-2025 16:11 841 gnome-shell-extension-dash-to-panel-72 15-Oct-2025 08:42 843 gnome-shell-extension-desktop-icons-ng-47.0.13 23-Oct-2025 18:44 1022 gnome-shell-extension-desktop-icons-ng-49.0.4 23-Oct-2025 18:44 1020 gnome-shell-extension-desktop-icons-ng-49.0.5 23-Oct-2025 18:44 998 gnome-shell-extension-gsconnect-66 23-Oct-2025 18:44 1556 gnome-shell-extension-gsconnect-67 23-Oct-2025 18:44 1556 gnome-shell-extension-pop-shell-1.2.0_p20250301 12-Oct-2025 15:26 804 gnome-shell-extension-pop-shell-1.2.0_p20250710 13-Oct-2025 03:42 804 gnome-shell-extension-weather-in-the-clock-2022..> 12-Oct-2025 15:26 753 gnome-shell-extension-weather-oclock-47.0 12-Oct-2025 15:26 729 gnome-shell-extension-weather-oclock-49.0 13-Oct-2025 17:11 730 gnome-shell-extensions-47.5 26-Oct-2025 04:11 1789 gnome-shell-extensions-47.6 26-Oct-2025 04:11 1792 gnome-shell-extensions-48.3 26-Oct-2025 04:11 1789 gnome-shell-frippery-47.0 15-Aug-2025 20:11 430 gnome-shell-frippery-48.0 13-Oct-2025 13:14 430 gnome-software-47.5 23-Oct-2025 18:44 2510 gnome-software-48.3 23-Oct-2025 18:44 2510 gnome-software-48.4 23-Oct-2025 18:44 2510 gnome-system-monitor-47.1-r1 23-Oct-2025 18:44 1635 gnome-system-monitor-48.1 23-Oct-2025 18:44 1651 gnome-tweaks-46.1-r1 26-Oct-2025 04:11 2461 gnome-user-docs-47.6 12-Oct-2025 15:26 915 gnome-user-docs-48.2 12-Oct-2025 15:26 918 gnome-user-docs-48.5 12-Oct-2025 15:26 915 gnome-user-share-43.0 23-Oct-2025 18:44 1574 gnome-user-share-47.2 23-Oct-2025 18:44 1574 gnome-weather-47.0 26-Oct-2025 04:11 1596 gnome-weather-48.0 26-Oct-2025 04:11 1596 gucharmap-15.1.2 26-Oct-2025 04:11 1920 gucharmap-16.0.1 26-Oct-2025 04:11 1944 krb5-auth-dialog-43.0-r1 23-Oct-2025 18:44 1397 libgda-5.2.9-r3 26-Oct-2025 04:11 3343 libgsf-1.14.53-r1 04-Nov-2025 10:12 1772 mousetweaks-3.32.0-r1 12-Oct-2025 15:26 1259 nautilus-dropbox-2024.04.17 23-Oct-2025 18:44 2169 nautilus-sendto-3.8.6-r1 23-Oct-2025 18:44 981 nemo-6.4.5 26-Oct-2025 04:11 3592 nemo-fileroller-6.4.0 23-Oct-2025 18:44 911 nm-applet-1.36.0 23-Oct-2025 18:44 1944 office-runner-1.0.3 12-Oct-2025 15:26 1416 pch-session-47.1 12-Oct-2025 15:26 1388 pch-session-48.0 13-Oct-2025 17:11 1395 polkit-gnome-0.105-r2 02-Sep-2025 17:13 677 sushi-46.0 26-Oct-2025 04:11 2082 tecla-47.0 23-Oct-2025 18:44 1243 tecla-48.0.2 23-Oct-2025 18:44 1289 yelp-42.2-r3 12-Oct-2025 15:26 1826 yelp-42.3 23-Oct-2025 18:44 1616 yelp-xsl-42.1-r1 12-Oct-2025 15:26 1019 yelp-xsl-42.4 23-Oct-2025 18:44 972 zenity-4.0.5 23-Oct-2025 18:44 1430