Welcome to the NetCologne GmbH open source mirroring service!

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 !

Index of /kali/pool/main/m/menhir/

Index of /kali/pool/main/m/menhir/


../
libmenhir-ocaml-dev_20240715+ds-1_amd64.deb        20-Aug-2024 07:00    885K
libmenhir-ocaml-dev_20240715+ds-1_arm64.deb        20-Aug-2024 07:05    887K
libmenhir-ocaml-dev_20240715+ds-1_armel.deb        20-Aug-2024 07:05    790K
libmenhir-ocaml-dev_20240715+ds-1_armhf.deb        20-Aug-2024 07:05    790K
libmenhir-ocaml-dev_20240715+ds-1_i386.deb         20-Aug-2024 07:05    790K
menhir-doc_20240715+ds-1_all.deb                   20-Aug-2024 07:05    466K
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-1_amd64.deb                     20-Aug-2024 07:00      1M
menhir_20240715+ds-1_arm64.deb                     20-Aug-2024 07:05      1M
menhir_20240715+ds-1_armel.deb                     20-Aug-2024 07:05    359K
menhir_20240715+ds-1_armhf.deb                     20-Aug-2024 07:05    359K
menhir_20240715+ds-1_i386.deb                      20-Aug-2024 07:05    396K
menhir_20240715+ds.orig.tar.xz                     20-Aug-2024 06:40    528K