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

[ICO]NameLast modifiedSizeDescription

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