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.16.5-1.debian.tar.xz                2022-07-17 20:04  3.4K  
 elpi_1.16.5-1.dsc                          2022-07-17 20:04  2.1K  
 elpi_1.16.5-1_amd64.deb                    2022-07-21 08:18  1.7M  
 elpi_1.16.5.orig.tar.gz                    2022-07-17 20:04  2.5M  
 elpi_1.16.7-2.debian.tar.xz                2022-11-06 04:15  100K  
 elpi_1.16.7-2.dsc                          2022-11-06 04:15  2.3K  
 elpi_1.16.7-2_amd64.deb                    2022-11-26 18:43  1.7M  
 elpi_1.16.7-2build1.debian.tar.xz          2022-11-27 08:48  100K  
 elpi_1.16.7-2build1.dsc                    2022-11-27 08:48  2.3K  
 elpi_1.16.7-2build1_amd64.deb              2022-11-27 08:48  1.7M  
 elpi_1.16.7.orig.tar.gz                    2022-11-06 04:15  2.5M  
 libelpi-ocaml-dev_1.14.1-1_amd64.deb       2022-02-09 06:37  8.0M  
 libelpi-ocaml-dev_1.16.5-1_amd64.deb       2022-07-21 08:18   12M  
 libelpi-ocaml-dev_1.16.7-2_amd64.deb       2022-11-26 18:43   12M  
 libelpi-ocaml-dev_1.16.7-2build1_amd64.deb 2022-11-27 08:48   12M  
 libelpi-ocaml_1.14.1-1_amd64.deb           2022-02-09 06:37  2.3M  
 libelpi-ocaml_1.16.5-1_amd64.deb           2022-07-21 08:18  6.1M  
 libelpi-ocaml_1.16.7-2_amd64.deb           2022-11-26 18:43  6.1M  
 libelpi-ocaml_1.16.7-2build1_amd64.deb     2022-11-27 08:48  6.1M