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 !
../ libppx-optcomp-ocaml-dev_0.14.0-1+b3_armhf.deb 21-Dec-2020 13:59 230K libppx-optcomp-ocaml-dev_0.15.0-1+b3_armhf.deb 19-May-2023 16:08 236K libppx-optcomp-ocaml-dev_0.16.0-3+b4_armhf.deb 23-Feb-2024 22:08 233K libppx-optcomp-ocaml_0.14.0-1+b3_armhf.deb 21-Dec-2020 13:59 115K libppx-optcomp-ocaml_0.15.0-1+b3_armhf.deb 19-May-2023 16:08 117K libppx-optcomp-ocaml_0.16.0-3+b4_armhf.deb 23-Feb-2024 22:08 117K ppx-optcomp_0.14.0-1.debian.tar.xz 29-Jul-2020 09:16 2348 ppx-optcomp_0.14.0-1.dsc 29-Jul-2020 09:16 1962 ppx-optcomp_0.14.0.orig.tar.gz 29-Jul-2020 09:16 16K ppx-optcomp_0.15.0-1.debian.tar.xz 21-Jan-2022 05:22 2372 ppx-optcomp_0.15.0-1.dsc 21-Jan-2022 05:22 1986 ppx-optcomp_0.15.0.orig.tar.gz 21-Jan-2022 05:22 16K ppx-optcomp_0.16.0-3.debian.tar.xz 06-Aug-2023 06:14 2360 ppx-optcomp_0.16.0-3.dsc 06-Aug-2023 06:14 1995 ppx-optcomp_0.16.0.orig.tar.gz 03-Jul-2023 10:05 16K