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

 Name                                 Last modified      Size  Description
 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-1_amd64.deb              2022-02-09 06:37  1.2M  
 elpi_1.14.1.orig.tar.gz              2022-02-09 06:35  1.5M  
 elpi_1.15.2-1.debian.tar.xz          2022-05-14 13:29  3.4K  
 elpi_1.15.2-1.dsc                    2022-05-14 13:29  2.1K  
 elpi_1.15.2-1_amd64.deb              2022-05-14 13:29  1.3M  
 elpi_1.15.2.orig.tar.gz              2022-05-14 13:29  1.5M  
 libelpi-ocaml-dev_1.14.1-1_amd64.deb 2022-02-09 06:37  8.0M  
 libelpi-ocaml-dev_1.15.2-1_amd64.deb 2022-05-14 13:29   12M  
 libelpi-ocaml_1.14.1-1_amd64.deb     2022-02-09 06:37  2.3M  
 libelpi-ocaml_1.15.2-1_amd64.deb     2022-05-14 13:29  6.0M