Directory: /rockos/20240830/rockos-base-debug/pool/main/m/menhir/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
menhir-dbgsym_20231231+ds-1_riscv64.deb	388.5 KiB	2024-May-26 13:06
libmenhir-ocaml-dev-dbgsym_20231231+ds-1_riscv64.deb	21.4 KiB	2024-May-26 14:01