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 !
../ libmenhir-ocaml-dev_20240715+ds-1+b2_amd64.deb 14-Jun-2025 12:26 865K libmenhir-ocaml-dev_20240715+ds-1+b2_arm64.deb 14-Jun-2025 12:37 867K libmenhir-ocaml-dev_20240715+ds-1+b2_armhf.deb 14-Jun-2025 15:54 770K libmenhir-ocaml-dev_20240715+ds-1+b2_i386.deb 14-Jun-2025 15:49 770K menhir-doc_20240715+ds-1_all.deb 20-Aug-2024 07:05 466K menhir_20240715+ds-1+b2_amd64.deb 14-Jun-2025 12:26 1M menhir_20240715+ds-1+b2_arm64.deb 14-Jun-2025 12:37 1M menhir_20240715+ds-1+b2_armhf.deb 14-Jun-2025 15:54 368K menhir_20240715+ds-1+b2_i386.deb 14-Jun-2025 15:49 407K menhir_20240715+ds-1.debian.tar.xz 20-Aug-2024 06:40 14K menhir_20240715+ds-1.dsc 20-Aug-2024 06:40 2084 menhir_20240715+ds.orig.tar.xz 20-Aug-2024 06:40 528K