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 15-Oct-2025 08:42 20K cinnamon-6.4.10-r1 12-Oct-2025 15:26 6624 cinnamon-6.4.13 12-Oct-2025 15:26 6626 cinnamon-control-center-6.4.1 12-Oct-2025 15:26 3320 cinnamon-control-center-6.4.2 12-Oct-2025 15:26 3322 cinnamon-desktop-6.4.1-r2 12-Oct-2025 15:26 2132 cinnamon-desktop-6.4.2 12-Oct-2025 15:26 2134 cinnamon-menus-6.4.0 12-Oct-2025 15:26 1262 cinnamon-screensaver-6.4.0-r1 12-Oct-2025 15:26 3238 cinnamon-screensaver-6.4.1 12-Oct-2025 15:26 3240 cinnamon-session-6.4.0-r1 12-Oct-2025 15:26 3023 cinnamon-session-6.4.2 12-Oct-2025 15:26 3025 cinnamon-settings-daemon-6.4.3-r1 12-Oct-2025 15:26 3329 cinnamon-settings-daemon-6.4.3-r2 12-Oct-2025 15:26 3333 cinnamon-translations-6.4.2 16-Jun-2025 04:41 503 cjs-128.0 12-Oct-2025 15:26 1748 cjs-6.4.0 12-Oct-2025 15:26 1776 eiciel-0.10.0 12-Oct-2025 15:26 1189 evolution-data-server-3.52.4-r4 12-Oct-2025 15:26 3678 evolution-data-server-3.54.3-r2 12-Oct-2025 15:26 3711 evolution-data-server-3.56.1-r1 12-Oct-2025 15:26 3669 evolution-data-server-3.56.2-r1 12-Oct-2025 15:26 3667 evolution-ews-3.52.4-r1 12-Oct-2025 15:26 1943 evolution-ews-3.54.3.0-r1 12-Oct-2025 15:26 1947 evolution-ews-3.56.1 12-Oct-2025 15:26 1943 evolution-ews-3.56.2 12-Oct-2025 15:26 1942 gnome-boxes-47.0-r1 12-Oct-2025 15:26 2528 gnome-boxes-48.0 12-Oct-2025 15:26 2529 gnome-browser-connector-42.1 12-Oct-2025 15:26 1876 gnome-browser-connector-42.1-r1 12-Oct-2025 15:26 2236 gnome-calculator-47.3-r1 12-Oct-2025 15:26 2019 gnome-calculator-48.1 13-Oct-2025 13:14 2019 gnome-calendar-47.0 12-Oct-2025 15:26 1889 gnome-calendar-48.1 13-Oct-2025 13:14 1889 gnome-characters-47.0 12-Oct-2025 15:26 1687 gnome-characters-48.0 12-Oct-2025 20:11 1679 gnome-clocks-47.0 12-Oct-2025 15:26 1626 gnome-clocks-48.0 12-Oct-2025 20:11 1656 gnome-color-manager-3.36.0-r1 12-Oct-2025 15:26 1531 gnome-color-manager-3.36.2-r1 12-Oct-2025 15:26 1498 gnome-commander-1.18.1-r1 12-Oct-2025 15:26 2040 gnome-commander-1.18.3 12-Oct-2025 15:26 2080 gnome-commander-1.18.4 12-Oct-2025 15:26 2080 gnome-contacts-46.0 12-Oct-2025 15:26 2282 gnome-contacts-47.1.1 12-Oct-2025 15:26 2323 gnome-directory-thumbnailer-0.1.11-r1 12-Oct-2025 15:26 1097 gnome-firmware-47.0-r1 12-Oct-2025 15:26 1441 gnome-firmware-49.0 12-Oct-2025 21:24 1452 gnome-getting-started-docs-3.38.1 15-Jul-2024 07:41 477 gnome-integration-spotify-20140907-r2 12-Oct-2025 15:26 1363 gnome-logs-43.0 12-Oct-2025 15:26 1422 gnome-logs-45.0 12-Oct-2025 15:26 1432 gnome-network-displays-0.97.0 12-Oct-2025 15:26 2287 gnome-network-displays-0.97.0-r1 12-Oct-2025 15:26 2328 gnome-power-manager-43.0 12-Oct-2025 15:26 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 12-Oct-2025 15:26 1031 gnome-shell-extension-appindicator-61 12-Oct-2025 16:11 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 12-Oct-2025 15:26 1022 gnome-shell-extension-desktop-icons-ng-49.0.4 12-Oct-2025 15:26 1020 gnome-shell-extension-desktop-icons-ng-49.0.5 12-Oct-2025 21:24 998 gnome-shell-extension-gsconnect-66 12-Oct-2025 15:26 1556 gnome-shell-extension-gsconnect-67 12-Oct-2025 16:11 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 12-Oct-2025 15:26 1777 gnome-shell-extensions-47.6 12-Oct-2025 15:26 1780 gnome-shell-extensions-48.3 13-Oct-2025 13:14 1777 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 12-Oct-2025 15:26 2510 gnome-software-48.3 12-Oct-2025 15:26 2510 gnome-software-48.4 12-Oct-2025 15:26 2510 gnome-system-monitor-47.1-r1 12-Oct-2025 15:26 1635 gnome-system-monitor-48.1 12-Oct-2025 16:11 1651 gnome-tweaks-46.1-r1 12-Oct-2025 15:26 2458 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 12-Oct-2025 15:26 1574 gnome-user-share-47.2 12-Oct-2025 20:11 1574 gnome-weather-47.0 12-Oct-2025 15:26 1586 gnome-weather-48.0 12-Oct-2025 16:41 1586 gucharmap-15.1.2 12-Oct-2025 15:26 1915 gucharmap-16.0.1 12-Oct-2025 15:26 1939 krb5-auth-dialog-43.0-r1 12-Oct-2025 15:26 1397 libgda-5.2.9-r3 12-Oct-2025 15:26 3333 libgsf-1.14.53-r1 12-Oct-2025 15:26 1754 mousetweaks-3.32.0-r1 12-Oct-2025 15:26 1259 nautilus-dropbox-2024.04.17 12-Oct-2025 15:26 2169 nautilus-sendto-3.8.6-r1 12-Oct-2025 15:26 981 nemo-6.4.5 12-Oct-2025 15:26 3586 nemo-fileroller-6.4.0 12-Oct-2025 15:26 911 nm-applet-1.36.0 12-Oct-2025 15:26 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 12-Oct-2025 15:26 2072 tecla-47.0 12-Oct-2025 15:26 1243 tecla-48.0.2 12-Oct-2025 16:11 1289 yelp-42.2-r3 12-Oct-2025 15:26 1826 yelp-42.3 12-Oct-2025 15:26 1616 yelp-xsl-42.1-r1 12-Oct-2025 15:26 1019 yelp-xsl-42.4 12-Oct-2025 15:26 972 zenity-4.0.5 12-Oct-2025 15:26 1430