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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 elpi_1.14.1-1.debian..> 09-Feb-2022 05:35  4.0K  
 elpi_1.14.1-1.dsc       09-Feb-2022 05:35  2.1K  
 elpi_1.14.1-1_amd64.deb 09-Feb-2022 05:37  1.2M  
 elpi_1.14.1.orig.tar.gz 09-Feb-2022 05:35  1.5M  
 elpi_1.16.8-1build2...> 16-Feb-2023 23:24  4.1K  
 elpi_1.16.8-1build2.dsc 16-Feb-2023 23:24  2.4K  
 elpi_1.16.8-1build2_..> 16-Feb-2023 23:24  1.7M  
 elpi_1.16.8.orig.tar.gz 07-Dec-2022 11:39  2.5M  
 elpi_1.17.0-1build4...> 28-Aug-2023 13:54  4.3K  
 elpi_1.17.0-1build4.dsc 28-Aug-2023 13:54  2.4K  
 elpi_1.17.0-1build4_..> 28-Aug-2023 14:24  1.6M  
 elpi_1.17.0.orig.tar.gz 25-Jul-2023 23:29  2.5M  
 elpi_1.17.4-3build1...> 17-Feb-2024 00:37  4.5K  
 elpi_1.17.4-3build1.dsc 17-Feb-2024 00:37  2.3K  
 elpi_1.17.4-3build1_..> 17-Feb-2024 06:33  1.6M  
 elpi_1.17.4.orig.tar.gz 21-Dec-2023 23:52  2.5M  
 libelpi-ocaml-dev_1...> 09-Feb-2022 05:37  8.0M  
 libelpi-ocaml-dev_1...> 16-Feb-2023 23:24   12M  
 libelpi-ocaml-dev_1...> 28-Aug-2023 14:24   11M  
 libelpi-ocaml-dev_1...> 17-Feb-2024 06:33   11M  
 libelpi-ocaml_1.14.1..> 09-Feb-2022 05:37  2.3M  
 libelpi-ocaml_1.16.8..> 16-Feb-2023 23:24  6.1M  
 libelpi-ocaml_1.17.0..> 28-Aug-2023 14:24  4.6M  
 libelpi-ocaml_1.17.4..> 17-Feb-2024 06:33  4.6M