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 libmenhir-ocaml-dev_20250912+ds-1_amd64.deb 16-Sep-2025 00:40 864K libmenhir-ocaml-dev_20250912+ds-1_arm64.deb 16-Sep-2025 00:40 866K libmenhir-ocaml-dev_20250912+ds-1_armhf.deb 16-Sep-2025 00:40 769K libmenhir-ocaml-dev_20250912+ds-1_i386.deb 16-Sep-2025 00:35 769K menhir-doc_20240715+ds-1_all.deb 20-Aug-2024 07:05 466K menhir-doc_20250912+ds-1_all.deb 16-Sep-2025 00:35 447K 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 menhir_20250912+ds-1.debian.tar.xz 16-Sep-2025 00:15 14K menhir_20250912+ds-1.dsc 16-Sep-2025 00:15 2084 menhir_20250912+ds-1_amd64.deb 16-Sep-2025 00:40 1M menhir_20250912+ds-1_arm64.deb 16-Sep-2025 00:40 2M menhir_20250912+ds-1_armhf.deb 16-Sep-2025 00:40 369K menhir_20250912+ds-1_i386.deb 16-Sep-2025 00:35 408K menhir_20250912+ds.orig.tar.xz 16-Sep-2025 00:15 571K