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 05-Oct-2025 22:13 19K cinnamon-6.4.10-r1 03-Oct-2025 19:43 6624 cinnamon-6.4.13 05-Oct-2025 03:40 6626 cinnamon-control-center-6.4.1 03-Oct-2025 19:43 3320 cinnamon-control-center-6.4.2 05-Oct-2025 03:40 3322 cinnamon-desktop-6.4.1-r2 03-Oct-2025 19:43 2132 cinnamon-desktop-6.4.2 05-Oct-2025 03:40 2134 cinnamon-menus-6.4.0 03-Oct-2025 19:43 1262 cinnamon-screensaver-6.4.0-r1 03-Oct-2025 19:43 3238 cinnamon-screensaver-6.4.1 05-Oct-2025 03:40 3240 cinnamon-session-6.4.0-r1 03-Oct-2025 19:43 3023 cinnamon-session-6.4.2 05-Oct-2025 03:40 3025 cinnamon-settings-daemon-6.4.3-r1 03-Oct-2025 19:43 3329 cinnamon-settings-daemon-6.4.3-r2 05-Oct-2025 03:40 3333 cinnamon-translations-6.4.2 16-Jun-2025 04:41 503 cjs-128.0 03-Oct-2025 19:43 1748 cjs-6.4.0 03-Oct-2025 19:43 1776 eiciel-0.10.0 03-Oct-2025 19:43 1189 evolution-data-server-3.52.4-r4 05-Oct-2025 22:13 3678 evolution-data-server-3.54.3-r2 05-Oct-2025 22:13 3711 evolution-data-server-3.56.1-r1 05-Oct-2025 22:13 3669 evolution-data-server-3.56.2-r1 05-Oct-2025 22:13 3667 evolution-ews-3.52.4-r1 05-Oct-2025 22:13 1943 evolution-ews-3.54.3.0-r1 05-Oct-2025 22:13 1947 evolution-ews-3.56.1 05-Oct-2025 22:13 1943 evolution-ews-3.56.2 05-Oct-2025 22:13 1942 gnome-boxes-47.0-r1 03-Oct-2025 19:43 2528 gnome-boxes-48.0 03-Oct-2025 19:43 2529 gnome-browser-connector-42.1 03-Oct-2025 19:43 1876 gnome-browser-connector-42.1-r1 03-Oct-2025 19:43 2236 gnome-calculator-47.3-r1 03-Oct-2025 19:43 2019 gnome-calculator-48.1 03-Oct-2025 19:43 2022 gnome-calendar-47.0 03-Oct-2025 19:43 1889 gnome-calendar-48.1 03-Oct-2025 19:43 1892 gnome-characters-47.0 03-Oct-2025 19:43 1687 gnome-characters-48.0 03-Oct-2025 19:43 1682 gnome-clocks-47.0 03-Oct-2025 19:43 1626 gnome-clocks-48.0 03-Oct-2025 19:43 1658 gnome-color-manager-3.36.0-r1 03-Oct-2025 19:43 1531 gnome-color-manager-3.36.2-r1 03-Oct-2025 19:43 1498 gnome-commander-1.18.1-r1 03-Oct-2025 19:43 2040 gnome-commander-1.18.3 03-Oct-2025 19:43 2080 gnome-contacts-46.0 03-Oct-2025 19:43 2282 gnome-contacts-47.1.1 03-Oct-2025 19:43 2323 gnome-directory-thumbnailer-0.1.11-r1 14-Jul-2025 19:21 1097 gnome-firmware-47.0-r1 03-Oct-2025 19:43 1441 gnome-firmware-49.0 05-Oct-2025 09:40 1453 gnome-getting-started-docs-3.38.1 15-Jul-2024 07:41 477 gnome-integration-spotify-20140907-r2 03-Oct-2025 19:43 1363 gnome-logs-43.0 03-Oct-2025 19:43 1422 gnome-logs-45.0 03-Oct-2025 19:43 1432 gnome-network-displays-0.97.0 03-Oct-2025 19:43 2287 gnome-network-displays-0.97.0-r1 03-Oct-2025 19:43 2328 gnome-power-manager-43.0 03-Oct-2025 19:43 1574 gnome-shell-extension-alphabetical-grid-42.0 14-Jul-2025 19:21 713 gnome-shell-extension-alphabetical-grid-43.0 14-Aug-2025 12:41 715 gnome-shell-extension-appindicator-60 03-Oct-2025 19:43 1031 gnome-shell-extension-appindicator-61 03-Oct-2025 19:43 1033 gnome-shell-extension-applications-overview-too..> 14-Jul-2025 19:21 667 gnome-shell-extension-applications-overview-too..> 29-Sep-2025 13:18 669 gnome-shell-extension-bing-wallpaper-51 14-Jul-2025 19:21 690 gnome-shell-extension-bing-wallpaper-52 27-Sep-2025 19:55 692 gnome-shell-extension-bluetooth-quick-connect-45 14-Jul-2025 19:21 735 gnome-shell-extension-control-blur-effect-on-lo..> 14-Jul-2025 19:21 776 gnome-shell-extension-dash-to-panel-68 14-Jul-2025 19:21 841 gnome-shell-extension-dash-to-panel-70 27-Sep-2025 19:55 843 gnome-shell-extension-desktop-icons-ng-47.0.13 03-Oct-2025 19:43 1022 gnome-shell-extension-desktop-icons-ng-49.0.4 05-Oct-2025 10:40 1020 gnome-shell-extension-desktop-icons-ng-49.0.5 05-Oct-2025 10:40 1000 gnome-shell-extension-gsconnect-66 03-Oct-2025 19:43 1556 gnome-shell-extension-gsconnect-67 05-Oct-2025 10:40 1558 gnome-shell-extension-pop-shell-1.2.0_p20250301 14-Jul-2025 19:21 804 gnome-shell-extension-pop-shell-1.2.0_p20250710 15-Aug-2025 20:11 805 gnome-shell-extension-weather-in-the-clock-2022..> 14-Jul-2025 19:21 753 gnome-shell-extension-weather-oclock-47.0 14-Jul-2025 19:21 729 gnome-shell-extension-weather-oclock-49.0 15-Aug-2025 20:11 731 gnome-shell-extensions-47.5 03-Oct-2025 19:43 1777 gnome-shell-extensions-47.6 03-Oct-2025 19:43 1780 gnome-shell-extensions-48.3 03-Oct-2025 19:43 1780 gnome-shell-frippery-47.0 15-Aug-2025 20:11 430 gnome-shell-frippery-48.0 15-Aug-2025 20:11 432 gnome-software-47.5 03-Oct-2025 19:43 2510 gnome-software-48.3 03-Oct-2025 19:43 2510 gnome-software-48.4 03-Oct-2025 19:43 2510 gnome-system-monitor-47.1-r1 03-Oct-2025 19:43 1635 gnome-system-monitor-48.1 03-Oct-2025 19:43 1654 gnome-tweaks-46.1-r1 03-Oct-2025 19:43 2458 gnome-user-docs-47.6 14-Jul-2025 19:21 915 gnome-user-docs-48.2 31-Jul-2025 17:40 918 gnome-user-docs-48.5 28-Sep-2025 12:17 918 gnome-user-share-43.0 03-Oct-2025 19:43 1574 gnome-user-share-47.2 05-Oct-2025 12:10 1577 gnome-weather-47.0 03-Oct-2025 19:43 1586 gnome-weather-48.0 03-Oct-2025 19:43 1589 gucharmap-15.1.2 03-Oct-2025 19:43 1915 gucharmap-16.0.1 03-Oct-2025 19:43 1939 krb5-auth-dialog-43.0-r1 03-Oct-2025 19:43 1397 libgda-5.2.9-r3 03-Oct-2025 16:40 3333 libgsf-1.14.53-r1 02-Sep-2025 17:13 1754 mousetweaks-3.32.0-r1 14-Jul-2025 19:21 1259 nautilus-dropbox-2024.04.17 03-Oct-2025 19:43 2169 nautilus-sendto-3.8.6-r1 03-Oct-2025 19:43 981 nemo-6.4.5 03-Oct-2025 19:43 3586 nemo-fileroller-6.4.0 03-Oct-2025 19:43 911 nm-applet-1.36.0 03-Oct-2025 19:43 1944 office-runner-1.0.3 14-Jul-2025 19:21 1416 pch-session-47.1 14-Jul-2025 19:21 1388 polkit-gnome-0.105-r2 02-Sep-2025 17:13 677 sushi-46.0 03-Oct-2025 19:43 2072 tecla-47.0 03-Oct-2025 19:43 1243 tecla-48.0.2 03-Oct-2025 19:43 1292 yelp-42.2-r3 07-Sep-2025 21:11 1826 yelp-42.3 03-Oct-2025 19:43 1616 yelp-xsl-42.1-r1 02-Sep-2025 17:13 1019 yelp-xsl-42.4 03-Oct-2025 19:43 972 zenity-4.0.5 03-Oct-2025 19:43 1430