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

Icon  Name                                          Last modified      Size  
[PARENTDIR] Parent Directory                                                   -   
[   ] elpi-dbgsym_1.18.2-4_ppc64.deb                2024-06-19 02:03  405K  
[   ] elpi_1.18.2-4_ppc64.buildinfo                 2024-06-19 02:03   11K  
[   ] elpi_1.18.2-4_ppc64.deb                       2024-06-19 02:03  1.4M  
[   ] libelpi-ocaml-dbgsym_1.18.2-4_ppc64.deb       2024-06-19 02:03  173K  
[   ] libelpi-ocaml-dev-dbgsym_1.18.2-4_ppc64.deb   2024-06-19 02:03  855K  
[   ] libelpi-ocaml-dev_1.18.2-4_ppc64.deb          2024-06-19 02:03  9.4M  
[   ] libelpi-ocaml_1.18.2-4_ppc64.deb              2024-06-19 02:03  3.7M