Index of /pub/gwdg/ubuntu/22.04/pool/universe/m/menhir/

../
libmenhir-ocaml-dev_20210929-1build1_amd64.deb     24-Jan-2022 16:44              628136
menhir-doc_20210929-1build1_all.deb                24-Jan-2022 16:44              554984
menhir_20210929-1build1_amd64.deb                  24-Jan-2022 16:44             1066538