Index of /pool/main/e/elpi

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] elpi_1.18.2.orig.tar.gz                2024-04-26 15:46  2.5M  
[   ] elpi_1.18.2-4.debian.tar.xz            2024-06-18 11:47  4.7K  
[TXT] 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  
[   ] libelpi-ocaml-dev_1.18.2-4_amd64.deb   2024-06-18 12:13  9.3M  
[   ] libelpi-ocaml_1.18.2-4_amd64.deb       2024-06-18 12:13  3.7M  
[   ] elpi_2.0.7-1.debian.tar.xz             2025-02-17 17:37  5.0K  
[TXT] 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  
[   ] elpi_2.0.7-1+b1_amd64.deb              2025-06-15 01:08  1.8M  
[   ] libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb 2025-06-15 01:08   15M  
[   ] libelpi-ocaml_2.0.7-1+b1_amd64.deb     2025-06-15 01:08  3.7M  
[   ] elpi_2.0.7-1+b1_arm64.deb              2025-06-15 06:52  2.0M  
[   ] libelpi-ocaml-dev_2.0.7-1+b1_arm64.deb 2025-06-15 06:52   15M  
[   ] libelpi-ocaml_2.0.7-1+b1_arm64.deb     2025-06-15 06:52  3.8M