| name | size | date |
|---|---|---|
| elpi_2.0.7-3build3_amd64.deb | 2.02M | 2026-03-01 08:08:43 |
| libelpi-ocaml-dev_2.0.7-3build3_amd64.deb | 14.79M | 2026-03-01 08:08:43 |
| libelpi-ocaml_2.0.7-3build3_amd64.deb | 4.08M | 2026-03-01 08:08:43 |
| elpi_2.0.7-1build2_amd64.deb | 1.98M | 2025-08-31 23:39:50 |
| libelpi-ocaml-dev_2.0.7-1build2_amd64.deb | 15.19M | 2025-08-31 23:39:50 |
| libelpi-ocaml_2.0.7-1build2_amd64.deb | 3.81M | 2025-08-31 23:39:50 |
| elpi_2.0.7-1_amd64.deb | 1.99M | 2025-02-18 01:40:22 |
| libelpi-ocaml-dev_2.0.7-1_amd64.deb | 15.23M | 2025-02-18 01:40:21 |
| libelpi-ocaml_2.0.7-1_amd64.deb | 3.82M | 2025-02-18 01:40:21 |
| elpi_1.17.4-3build1_amd64.deb | 1.57M | 2024-02-17 06:33:57 |
| libelpi-ocaml-dev_1.17.4-3build1_amd64.deb | 10.83M | 2024-02-17 06:33:57 |
| libelpi-ocaml_1.17.4-3build1_amd64.deb | 4.62M | 2024-02-17 06:33:57 |
| elpi_1.14.1-1_amd64.deb | 1.16M | 2022-02-09 05:37:27 |
| libelpi-ocaml-dev_1.14.1-1_amd64.deb | 7.97M | 2022-02-09 05:37:27 |
| libelpi-ocaml_1.14.1-1_amd64.deb | 2.30M | 2022-02-09 05:37:27 |