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

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[   ] elpi_1.17.4-3build1_amd64.deb              2024-02-17 17:33  1.6M  
[   ] libelpi-ocaml_1.17.4-3build1_amd64.deb     2024-02-17 17:33  4.6M  
[   ] libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 2024-02-17 17:33   11M  
[TXT] elpi_1.17.4-3build1.dsc                    2024-02-17 11:37  2.3K  
[   ] elpi_1.17.4-3build1.debian.tar.xz          2024-02-17 11:37  4.5K  
[   ] elpi_1.17.4-3_amd64.deb                    2024-01-01 10:51  2.2M  
[   ] libelpi-ocaml_1.17.4-3_amd64.deb           2024-01-01 10:51  5.4M  
[   ] libelpi-ocaml-dev_1.17.4-3_amd64.deb       2024-01-01 10:51   14M  
[   ] elpi_1.17.4-3.debian.tar.xz                2024-01-01 10:12  4.4K  
[TXT] elpi_1.17.4-3.dsc                          2024-01-01 10:12  2.3K  
[   ] elpi_1.17.4.orig.tar.gz                    2023-12-22 10:52  2.5M  
[   ] libelpi-ocaml-dev_1.17.0-1build4_amd64.deb 2023-08-29 00:24   11M  
[   ] elpi_1.17.0-1build4_amd64.deb              2023-08-29 00:24  1.6M  
[   ] libelpi-ocaml_1.17.0-1build4_amd64.deb     2023-08-29 00:24  4.6M  
[TXT] elpi_1.17.0-1build4.dsc                    2023-08-28 23:54  2.4K  
[   ] elpi_1.17.0-1build4.debian.tar.xz          2023-08-28 23:54  4.3K  
[   ] elpi_1.17.0.orig.tar.gz                    2023-07-26 09:29  2.5M  
[   ] libelpi-ocaml_1.16.8-1build2_amd64.deb     2023-02-17 10:24  6.1M  
[   ] libelpi-ocaml-dev_1.16.8-1build2_amd64.deb 2023-02-17 10:24   12M  
[   ] elpi_1.16.8-1build2_amd64.deb              2023-02-17 10:24  1.7M  
[TXT] elpi_1.16.8-1build2.dsc                    2023-02-17 10:24  2.4K  
[   ] elpi_1.16.8-1build2.debian.tar.xz          2023-02-17 10:24  4.1K  
[   ] elpi_1.16.8.orig.tar.gz                    2022-12-07 22:39  2.5M  
[   ] libelpi-ocaml_1.14.1-1_amd64.deb           2022-02-09 16:37  2.3M  
[   ] libelpi-ocaml-dev_1.14.1-1_amd64.deb       2022-02-09 16:37  8.0M  
[   ] elpi_1.14.1-1_amd64.deb                    2022-02-09 16:37  1.2M  
[   ] elpi_1.14.1-1.debian.tar.xz                2022-02-09 16:35  4.0K  
[   ] elpi_1.14.1.orig.tar.gz                    2022-02-09 16:35  1.5M  
[TXT] elpi_1.14.1-1.dsc                          2022-02-09 16:35  2.1K