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

Icon  Name                                        Last modified      Size  
[PARENTDIR] Parent Directory                                                 -   
[   ] elpi-dbgsym_1.16.5-1_x32.deb                2022-07-18 20:03   40K  
[   ] elpi_1.16.5-1_x32.buildinfo                 2022-07-18 20:03  7.7K  
[   ] elpi_1.16.5-1_x32.deb                       2022-07-18 20:03  390K  
[   ] libelpi-ocaml-dev-dbgsym_1.16.5-1_x32.deb   2022-07-18 20:03   22K  
[   ] libelpi-ocaml-dev_1.16.5-1_x32.deb          2022-07-18 20:03  6.9M  
[   ] libelpi-ocaml_1.16.5-1_x32.deb              2022-07-18 20:03  3.9M