Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/m/menhir/

../
libmenhir-ocaml-dev_20231231+ds-1_arm64.deb        15-Feb-2024 18:29              760684
menhir-doc_20231231+ds-1_all.deb                   15-Feb-2024 18:29              477430
menhir_20231231+ds-1_arm64.deb                     15-Feb-2024 18:29             1701380