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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]elpi-dbgsym_1.18.2-4_ppc64.deb2024-06-19 00:03 405K 
[ ]elpi_1.18.2-4_ppc64.buildinfo2024-06-19 00:03 11K 
[ ]elpi_1.18.2-4_ppc64.deb2024-06-19 00:03 1.4M 
[ ]libelpi-ocaml-dbgsym_1.18.2-4_ppc64.deb2024-06-19 00:03 173K 
[ ]libelpi-ocaml-dev-dbgsym_1.18.2-4_ppc64.deb2024-06-19 00:03 855K 
[ ]libelpi-ocaml-dev_1.18.2-4_ppc64.deb2024-06-19 00:03 9.4M 
[ ]libelpi-ocaml_1.18.2-4_ppc64.deb2024-06-19 00:03 3.7M