Index of /debian-ports/pool-loong64/main/e/elpi

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]elpi_1.18.2-4_loong64.buildinfo2024-06-18 12:03 11K 
[ ]libelpi-ocaml-dbgsym_1.18.2-4_loong64.deb2024-06-18 12:03 195K 
[ ]elpi-dbgsym_1.18.2-4_loong64.deb2024-06-18 12:03 452K 
[ ]libelpi-ocaml-dev-dbgsym_1.18.2-4_loong64.deb2024-06-18 12:03 926K 
[ ]elpi_1.18.2-4_loong64.deb2024-06-18 12:03 1.5M 
[ ]libelpi-ocaml_1.18.2-4_loong64.deb2024-06-18 12:03 3.8M 
[ ]libelpi-ocaml-dev_1.18.2-4_loong64.deb2024-06-18 12:03 10M