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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libmenhir-ocaml-dev_20240715+ds-1+b1_ppc64.deb2025-01-27 07:03 771K 
[ ]menhir_20240715+ds-1+b1_ppc64.deb2025-01-27 07:03 402K 
[ ]menhir-dbgsym_20240715+ds-1+b1_ppc64.deb2025-01-27 07:03 31K 
[ ]menhir_20240715+ds-1+b1_ppc64.buildinfo2025-01-27 07:03 11K 
Apache/2.4.59 (Debian) Server at debian.polytech-lille.fr Port 80