Index of /pool/main/e/elpi

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 elpi_1.18.2-4.debian.tar.xz            2024-06-18 11:47  4.7K  
 elpi_1.18.2-4.dsc                      2024-06-18 11:47  2.6K  
 elpi_1.18.2-4_amd64.deb                2024-06-18 12:13  1.4M  
 elpi_1.18.2.orig.tar.gz                2024-04-26 15:46  2.5M  
 elpi_2.0.7-1+b1_amd64.deb              2025-06-15 01:08  1.8M  
 elpi_2.0.7-1+b1_arm64.deb              2025-06-15 06:52  2.0M  
 elpi_2.0.7-1.debian.tar.xz             2025-02-17 17:37  5.0K  
 elpi_2.0.7-1.dsc                       2025-02-17 17:37  2.4K  
 elpi_2.0.7.orig.tar.gz                 2025-02-17 17:37  2.5M  
 libelpi-ocaml-dev_1.18.2-4_amd64.deb   2024-06-18 12:13  9.3M  
 libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb 2025-06-15 01:08   15M  
 libelpi-ocaml-dev_2.0.7-1+b1_arm64.deb 2025-06-15 06:52   15M  
 libelpi-ocaml_1.18.2-4_amd64.deb       2024-06-18 12:13  3.7M  
 libelpi-ocaml_2.0.7-1+b1_amd64.deb     2025-06-15 01:08  3.7M  
 libelpi-ocaml_2.0.7-1+b1_arm64.deb     2025-06-15 06:52  3.8M