Index of /ubuntu/pool/universe/e/elpi

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] elpi_1.14.1-1.debian.tar.xz          2022-02-09 06:35  4.0K  
[   ] elpi_1.14.1-1.dsc                    2022-02-09 06:35  2.1K  
[   ] elpi_1.14.1.orig.tar.gz              2022-02-09 06:35  1.5M  
[   ] elpi_1.14.1-1_amd64.deb              2022-02-09 06:37  1.2M  
[   ] libelpi-ocaml-dev_1.14.1-1_amd64.deb 2022-02-09 06:37  8.0M  
[   ] libelpi-ocaml_1.14.1-1_amd64.deb     2022-02-09 06:37  2.3M