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

../
libmenhir-ocaml-dev_20250912+ds-1+b1_x32.deb       27-Dec-2025 12:03    560K
menhir-dbgsym_20250912+ds-1+b1_x32.deb             27-Dec-2025 12:03     30K
menhir_20250912+ds-1+b1_x32.buildinfo              27-Dec-2025 12:03     11K
menhir_20250912+ds-1+b1_x32.deb                    27-Dec-2025 12:03    393K