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

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                  -   
[   ] elpi-dbgsym_1.16.5-1_hppa.deb                2022-07-18 20:03   42K  
[   ] elpi_1.16.5-1_hppa.buildinfo                 2022-07-18 20:03  7.6K  
[   ] elpi_1.16.5-1_hppa.deb                       2022-07-18 20:03  383K  
[   ] libelpi-ocaml-dev-dbgsym_1.16.5-1_hppa.deb   2022-07-18 20:03   23K  
[   ] libelpi-ocaml-dev_1.16.5-1_hppa.deb          2022-07-18 20:03  6.9M  
[   ] libelpi-ocaml_1.16.5-1_hppa.deb              2022-07-18 20:03  3.9M