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

Icon  Name                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                  -   
[   ] elpi_1.14.1-1.debian.tar.xz                  2022-02-09 06:35  4.0K  
[   ] elpi_1.14.1-1.dsc                            2022-02-09 06:35  2.1K  
[   ] elpi_1.14.1-1_arm64.deb                      2022-02-09 07:00  1.4M  
[   ] elpi_1.14.1-1_armhf.deb                      2022-02-09 07:00  1.1M  
[   ] elpi_1.14.1-1_ppc64el.deb                    2022-02-09 06:39  1.3M  
[   ] elpi_1.14.1-1_riscv64.deb                    2022-02-09 10:05  1.2M  
[   ] elpi_1.14.1-1_s390x.deb                      2022-02-09 07:50  1.2M  
[   ] elpi_1.14.1.orig.tar.gz                      2022-02-09 06:35  1.5M  
[   ] elpi_1.16.8-1build2.debian.tar.xz            2023-02-17 00:24  4.1K  
[   ] elpi_1.16.8-1build2.dsc                      2023-02-17 00:24  2.4K  
[   ] elpi_1.16.8-1build2_arm64.deb                2023-02-17 00:24  2.0M  
[   ] elpi_1.16.8-1build2_ppc64el.deb              2023-02-17 00:24  1.8M  
[   ] elpi_1.16.8-1build2_riscv64.deb              2023-02-17 00:55  1.6M  
[   ] elpi_1.16.8.orig.tar.gz                      2022-12-07 12:39  2.5M  
[   ] elpi_1.17.0-1build4.debian.tar.xz            2023-08-28 15:54  4.3K  
[   ] elpi_1.17.0-1build4.dsc                      2023-08-28 15:54  2.4K  
[   ] elpi_1.17.0-1build4_arm64.deb                2023-08-28 16:24  1.9M  
[   ] elpi_1.17.0-1build4_ppc64el.deb              2023-08-28 16:24  1.7M  
[   ] elpi_1.17.0-1build4_riscv64.deb              2023-08-28 17:19  1.6M  
[   ] elpi_1.17.0.orig.tar.gz                      2023-07-26 01:29  2.5M  
[   ] elpi_1.17.4-3build1.debian.tar.xz            2024-02-17 01:37  4.5K  
[   ] elpi_1.17.4-3build1.dsc                      2024-02-17 01:37  2.3K  
[   ] elpi_1.17.4-3build1_arm64.deb                2024-02-17 09:53  1.9M  
[   ] elpi_1.17.4-3build1_armhf.deb                2024-02-17 07:33  1.5M  
[   ] elpi_1.17.4-3build1_ppc64el.deb              2024-02-17 07:34  1.7M  
[   ] elpi_1.17.4-3build1_riscv64.deb              2024-02-17 09:53  1.7M  
[   ] elpi_1.17.4-3build1_s390x.deb                2024-02-17 07:34  1.6M  
[   ] elpi_1.17.4.orig.tar.gz                      2023-12-22 00:52  2.5M  
[   ] elpi_1.18.2-1.debian.tar.xz                  2024-05-03 03:55  4.4K  
[   ] elpi_1.18.2-1.dsc                            2024-05-03 03:55  2.4K  
[   ] elpi_1.18.2-1_arm64.deb                      2024-05-03 08:30  1.9M  
[   ] elpi_1.18.2-1_ppc64el.deb                    2024-05-03 05:32  1.7M  
[   ] elpi_1.18.2-1_riscv64.deb                    2024-05-06 09:57  1.7M  
[   ] elpi_1.18.2.orig.tar.gz                      2024-05-03 03:55  2.5M  
[   ] libelpi-ocaml-dev_1.14.1-1_arm64.deb         2022-02-09 07:00  8.8M  
[   ] libelpi-ocaml-dev_1.14.1-1_armhf.deb         2022-02-09 07:00  8.0M  
[   ] libelpi-ocaml-dev_1.14.1-1_ppc64el.deb       2022-02-09 06:39  8.3M  
[   ] libelpi-ocaml-dev_1.14.1-1_riscv64.deb       2022-02-09 10:05  8.5M  
[   ] libelpi-ocaml-dev_1.14.1-1_s390x.deb         2022-02-09 07:50  8.1M  
[   ] libelpi-ocaml-dev_1.16.8-1build2_arm64.deb   2023-02-17 00:24   13M  
[   ] libelpi-ocaml-dev_1.16.8-1build2_ppc64el.deb 2023-02-17 00:24   12M  
[   ] libelpi-ocaml-dev_1.16.8-1build2_riscv64.deb 2023-02-17 00:55   13M  
[   ] libelpi-ocaml-dev_1.17.0-1build4_arm64.deb   2023-08-28 16:24   11M  
[   ] libelpi-ocaml-dev_1.17.0-1build4_ppc64el.deb 2023-08-28 16:24   11M  
[   ] libelpi-ocaml-dev_1.17.0-1build4_riscv64.deb 2023-08-28 17:19   11M  
[   ] libelpi-ocaml-dev_1.17.4-3build1_arm64.deb   2024-02-17 09:53   12M  
[   ] libelpi-ocaml-dev_1.17.4-3build1_armhf.deb   2024-02-17 07:33   11M  
[   ] libelpi-ocaml-dev_1.17.4-3build1_ppc64el.deb 2024-02-17 07:34   11M  
[   ] libelpi-ocaml-dev_1.17.4-3build1_riscv64.deb 2024-02-17 09:53   12M  
[   ] libelpi-ocaml-dev_1.17.4-3build1_s390x.deb   2024-02-17 07:34   11M  
[   ] libelpi-ocaml-dev_1.18.2-1_arm64.deb         2024-05-03 08:30   12M  
[   ] libelpi-ocaml-dev_1.18.2-1_ppc64el.deb       2024-05-03 05:32   11M  
[   ] libelpi-ocaml-dev_1.18.2-1_riscv64.deb       2024-05-06 09:57   12M  
[   ] libelpi-ocaml_1.14.1-1_arm64.deb             2022-02-09 07:00  2.4M  
[   ] libelpi-ocaml_1.14.1-1_armhf.deb             2022-02-09 07:00  2.3M  
[   ] libelpi-ocaml_1.14.1-1_ppc64el.deb           2022-02-09 06:39  2.4M  
[   ] libelpi-ocaml_1.14.1-1_riscv64.deb           2022-02-09 10:05  2.3M  
[   ] libelpi-ocaml_1.14.1-1_s390x.deb             2022-02-09 07:50  2.4M  
[   ] libelpi-ocaml_1.16.8-1build2_arm64.deb       2023-02-17 00:24  6.2M  
[   ] libelpi-ocaml_1.16.8-1build2_ppc64el.deb     2023-02-17 00:24  6.1M  
[   ] libelpi-ocaml_1.16.8-1build2_riscv64.deb     2023-02-17 00:55  6.1M  
[   ] libelpi-ocaml_1.17.0-1build4_arm64.deb       2023-08-28 16:24  4.7M  
[   ] libelpi-ocaml_1.17.0-1build4_ppc64el.deb     2023-08-28 16:24  4.7M  
[   ] libelpi-ocaml_1.17.0-1build4_riscv64.deb     2023-08-28 17:19  4.6M  
[   ] libelpi-ocaml_1.17.4-3build1_arm64.deb       2024-02-17 09:53  4.8M  
[   ] libelpi-ocaml_1.17.4-3build1_armhf.deb       2024-02-17 07:33  4.6M  
[   ] libelpi-ocaml_1.17.4-3build1_ppc64el.deb     2024-02-17 07:34  4.7M  
[   ] libelpi-ocaml_1.17.4-3build1_riscv64.deb     2024-02-17 09:53  4.7M  
[   ] libelpi-ocaml_1.17.4-3build1_s390x.deb       2024-02-17 07:34  4.7M  
[   ] libelpi-ocaml_1.18.2-1_arm64.deb             2024-05-03 08:30  4.9M  
[   ] libelpi-ocaml_1.18.2-1_ppc64el.deb           2024-05-03 05:32  4.8M  
[   ] libelpi-ocaml_1.18.2-1_riscv64.deb           2024-05-06 09:57  4.8M
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80