Index of /archive/pool/universe/e/elpi

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 elpi_2.0.7-2build1_a..> 2025-10-23 14:04  2.0M  
 libelpi-ocaml_2.0.7-..> 2025-10-23 14:04  3.8M  
 libelpi-ocaml-dev_2...> 2025-10-23 14:04   15M  
 elpi_2.0.7-2build1_a..> 2025-10-23 14:04  2.0M  
 libelpi-ocaml_2.0.7-..> 2025-10-23 14:04  3.8M  
 libelpi-ocaml-dev_2...> 2025-10-23 14:04   15M  
 elpi_2.0.7-2build1.dsc  2025-10-22 20:05  2.4K  
 elpi_2.0.7-2build1.d..> 2025-10-22 20:05  5.7K  tar archive
 elpi_2.0.7-1build2_a..> 2025-08-31 19:39  2.0M  
 libelpi-ocaml_2.0.7-..> 2025-08-31 19:39  3.8M  
 libelpi-ocaml-dev_2...> 2025-08-31 19:39   15M  
 elpi_2.0.7-1build2.dsc  2025-08-31 08:37  2.4K  
 elpi_2.0.7-1build2.d..> 2025-08-31 08:37  5.1K  tar archive
 elpi_2.0.7-1_amd64.deb  2025-02-17 20:40  2.0M  
 libelpi-ocaml_2.0.7-..> 2025-02-17 20:40  3.8M  
 libelpi-ocaml-dev_2...> 2025-02-17 20:40   15M  
 elpi_2.0.7-1.debian...> 2025-02-17 20:39  5.0K  tar archive
 elpi_2.0.7.orig.tar.gz  2025-02-17 20:39  2.5M  GZIP compressed docume>
 elpi_2.0.7-1.dsc        2025-02-17 20:39  2.4K  
 elpi_1.17.4-3build1_..> 2024-02-17 01:33  1.6M  
 libelpi-ocaml_1.17.4..> 2024-02-17 01:33  4.6M  
 libelpi-ocaml-dev_1...> 2024-02-17 01:33   11M  
 elpi_1.17.4-3build1.dsc 2024-02-16 19:37  2.3K  
 elpi_1.17.4-3build1...> 2024-02-16 19:37  4.5K  tar archive
 elpi_1.17.4.orig.tar.gz 2023-12-21 18:52  2.5M  GZIP compressed docume>
 libelpi-ocaml_1.14.1..> 2022-02-09 00:37  2.3M  
 libelpi-ocaml-dev_1...> 2022-02-09 00:37  8.0M  
 elpi_1.14.1-1_amd64.deb 2022-02-09 00:37  1.2M  
 elpi_1.14.1-1.debian..> 2022-02-09 00:35  4.0K  tar archive
 elpi_1.14.1.orig.tar.gz 2022-02-09 00:35  1.5M  GZIP compressed docume>
 elpi_1.14.1-1.dsc       2022-02-09 00:35  2.1K