Index of /pool/universe/e/elpi

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[TXT] elpi_1.14.1-1.dsc                          2022-02-09 09:05  2.1K  
[   ] elpi_1.14.1.orig.tar.gz                    2022-02-09 09:05  1.5M  
[   ] elpi_1.14.1-1.debian.tar.xz                2022-02-09 09:05  4.0K  
[   ] elpi_1.14.1-1_amd64.deb                    2022-02-09 09:07  1.2M  
[   ] libelpi-ocaml-dev_1.14.1-1_amd64.deb       2022-02-09 09:07  8.0M  
[   ] libelpi-ocaml_1.14.1-1_amd64.deb           2022-02-09 09:07  2.3M  
[   ] elpi_1.17.4.orig.tar.gz                    2023-12-22 03:22  2.5M  
[   ] elpi_1.17.4-3build1.debian.tar.xz          2024-02-17 04:07  4.5K  
[TXT] elpi_1.17.4-3build1.dsc                    2024-02-17 04:07  2.3K  
[   ] libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 2024-02-17 10:03   11M  
[   ] libelpi-ocaml_1.17.4-3build1_amd64.deb     2024-02-17 10:03  4.6M  
[   ] elpi_1.17.4-3build1_amd64.deb              2024-02-17 10:03  1.6M  
[   ] elpi_1.18.2.orig.tar.gz                    2024-05-03 05:25  2.5M  
[   ] elpi_1.18.2-5build3.debian.tar.xz          2024-09-17 16:29  4.9K  
[TXT] elpi_1.18.2-5build3.dsc                    2024-09-17 16:29  2.3K  
[   ] libelpi-ocaml-dev_1.18.2-5build3_amd64.deb 2024-09-19 17:33   13M  
[   ] libelpi-ocaml_1.18.2-5build3_amd64.deb     2024-09-19 17:33  3.1M  
[   ] elpi_1.18.2-5build3_amd64.deb              2024-09-19 17:33  1.7M  
[TXT] elpi_2.0.7-1.dsc                           2025-02-18 05:09  2.4K  
[   ] elpi_2.0.7.orig.tar.gz                     2025-02-18 05:09  2.5M  
[   ] elpi_2.0.7-1.debian.tar.xz                 2025-02-18 05:09  5.0K  
[   ] libelpi-ocaml-dev_2.0.7-1_amd64.deb        2025-02-18 05:10   15M  
[   ] libelpi-ocaml_2.0.7-1_amd64.deb            2025-02-18 05:10  3.8M  
[   ] elpi_2.0.7-1_amd64.deb                     2025-02-18 05:10  2.0M