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

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 elpi-dbgsym_1.16.5-1_powerpc.deb                2022-07-19 08:03   43K  
 elpi_1.16.5-1_powerpc.buildinfo                 2022-07-19 08:03  7.7K  
 elpi_1.16.5-1_powerpc.deb                       2022-07-19 08:03  398K  
 libelpi-ocaml-dev-dbgsym_1.16.5-1_powerpc.deb   2022-07-19 08:03   23K  
 libelpi-ocaml-dev_1.16.5-1_powerpc.deb          2022-07-19 08:03  6.9M  
 libelpi-ocaml_1.16.5-1_powerpc.deb              2022-07-19 08:03  3.9M