![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
| elpi_1.14.1-1.debian.tar.xz | 2022-02-09 05:35 | 4.0K |
![[text]](/theme/icons/text-plain.svg){kind=icon} | elpi_1.14.1-1.dsc | 2022-02-09 05:35 | 2.1K |
| elpi_1.14.1-1_amd64.deb | 2022-02-09 05:37 | 1.2M |
![[gzip]](/theme/icons/application-x-archive.svg){kind=icon} | elpi_1.14.1.orig.tar.gz | 2022-02-09 05:35 | 1.5M |
| elpi_1.17.4-3build1.debian.tar.xz | 2024-02-17 00:37 | 4.5K |
| elpi_1.17.4-3build1.dsc | 2024-02-17 00:37 | 2.3K |
| elpi_1.17.4-3build1_amd64.deb | 2024-02-17 06:33 | 1.6M |
| elpi_1.17.4.orig.tar.gz | 2023-12-21 23:52 | 2.5M |
| elpi_2.0.7-3build3.debian.tar.xz | 2026-03-01 08:08 | 6.2K |
| elpi_2.0.7-3build3.dsc | 2026-03-01 08:08 | 2.4K |
| elpi_2.0.7-3build3_amd64.deb | 2026-03-01 08:08 | 2.0M |
| elpi_2.0.7.orig.tar.gz | 2025-02-18 01:39 | 2.5M |
| libelpi-ocaml-dev_1.14.1-1_amd64.deb | 2022-02-09 05:37 | 8.0M |
| libelpi-ocaml-dev_1.17.4-3build1_amd64.deb | 2024-02-17 06:33 | 11M |
| libelpi-ocaml-dev_2.0.7-3build3_amd64.deb | 2026-03-01 08:08 | 15M |
| libelpi-ocaml_1.14.1-1_amd64.deb | 2022-02-09 05:37 | 2.3M |
| libelpi-ocaml_1.17.4-3build1_amd64.deb | 2024-02-17 06:33 | 4.6M |
| libelpi-ocaml_2.0.7-3build3_amd64.deb | 2026-03-01 08:08 | 4.1M |