Index of /debian-ports/pool-x32/main/m/menhir/

../
libmenhir-ocaml-dev_20260209+ds-2_x32.deb          15-Jul-2026 18:03              848964
menhir-dbgsym_20260209+ds-2_x32.deb                15-Jul-2026 18:03               30652
menhir_20260209+ds-2_x32.buildinfo                 15-Jul-2026 18:03               10702
menhir_20260209+ds-2_x32.deb                       15-Jul-2026 18:03              407196