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 !
../ camlp5_6.14-1.debian.tar.xz 23-Oct-2015 21:38 7648 camlp5_6.14-1.dsc 23-Oct-2015 21:38 2005 camlp5_6.14-1_amd64.deb 30-Oct-2015 00:25 2M camlp5_6.14-1_i386.deb 30-Oct-2015 00:25 2M camlp5_6.14.orig.tar.gz 23-Oct-2015 21:38 731K camlp5_7.01-1build1.debian.tar.xz 27-Oct-2017 04:44 7896 camlp5_7.01-1build1.dsc 27-Oct-2017 04:44 1752 camlp5_7.01-1build1_amd64.deb 27-Oct-2017 04:44 3M camlp5_7.01-1build1_i386.deb 27-Oct-2017 04:44 3M camlp5_7.01.orig.tar.gz 24-Jul-2017 19:38 739K camlp5_7.11-1build1.debian.tar.xz 20-Feb-2020 22:48 7988 camlp5_7.11-1build1.dsc 20-Feb-2020 22:48 2048 camlp5_7.11-1build1_amd64.deb 20-Feb-2020 22:53 4M camlp5_7.11.orig.tar.gz 11-Feb-2020 11:23 858K camlp5_8.00.02-1build1.debian.tar.xz 24-Jan-2022 16:44 8076 camlp5_8.00.02-1build1.dsc 24-Jan-2022 16:44 2070 camlp5_8.00.02-1build1_amd64.deb 24-Jan-2022 16:44 5M camlp5_8.00.02.orig.tar.gz 19-Jan-2022 23:14 1M camlp5_8.02.01-2build6.debian.tar.xz 19-Feb-2024 18:47 7712 camlp5_8.02.01-2build6.dsc 19-Feb-2024 18:47 2246 camlp5_8.02.01-2build6_amd64.deb 19-Feb-2024 19:32 6M camlp5_8.02.01.orig.tar.gz 06-Sep-2023 17:09 1M camlp5_8.03.00-1build4.debian.tar.xz 19-Sep-2024 09:45 7692 camlp5_8.03.00-1build4.dsc 19-Sep-2024 09:45 2246 camlp5_8.03.00-1build4_amd64.deb 19-Sep-2024 09:46 8M camlp5_8.03.00.orig.tar.gz 29-Jun-2024 18:14 1M