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

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 elpi-dbgsym_1.16.5-1_alpha.deb                2022-07-19 02:03   41K  
 elpi_1.16.5-1_alpha.buildinfo                 2022-07-19 02:03  7.6K  
 elpi_1.16.5-1_alpha.deb                       2022-07-19 02:03  400K  
 libelpi-ocaml-dev-dbgsym_1.16.5-1_alpha.deb   2022-07-19 02:03   23K  
 libelpi-ocaml-dev_1.16.5-1_alpha.deb          2022-07-19 02:03  6.9M  
 libelpi-ocaml_1.16.5-1_alpha.deb              2022-07-19 02:03  3.9M