Index of /pub/linux/debian/debian-ports/pool-sparc64/main/e/elpi

 Name                                                Last modified      Size  
 Parent Directory                                                         -   
 elpi-dbgsym_1.16.5-1_sparc64.deb                    2022-07-18 20:03   41K  
 elpi_1.16.5-1_sparc64.buildinfo                     2022-07-18 20:03  7.7K  
 elpi_1.16.5-1_sparc64.deb                           2022-07-18 20:03  373K  
 libelpi-ocaml-dev-dbgsym_1.16.5-1_sparc64.deb       2022-07-18 20:03   23K  
 libelpi-ocaml-dev_1.16.5-1_sparc64.deb              2022-07-18 20:03  6.9M  
 libelpi-ocaml_1.16.5-1_sparc64.deb                  2022-07-18 20:03  3.9M