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

../
libmenhir-ocaml-dev_20250912+ds-1_x32.deb          16-Sep-2025 06:03              787944
menhir-dbgsym_20250912+ds-1_x32.deb                16-Sep-2025 06:03               30144
menhir_20250912+ds-1_x32.buildinfo                 16-Sep-2025 06:03               10372
menhir_20250912+ds-1_x32.deb                       16-Sep-2025 06:03              396160