| name | size | date |
|---|---|---|
| libelpi-ocaml_1.18.2-5build3_amd64.deb | 3.08M | 2025-09-13 03:18:07 |
| libelpi-ocaml-dev_1.18.2-5build3_amd64.deb | 13.25M | 2025-09-13 03:18:06 |
| elpi_1.18.2-5build3_amd64.deb | 1.74M | 2025-09-13 03:18:05 |
| libelpi-ocaml_1.16.8-1build2_amd64.deb | 6.07M | 2024-11-26 14:01:13 |
| libelpi-ocaml-dev_1.16.8-1build2_amd64.deb | 12.07M | 2024-11-26 14:01:11 |
| elpi_1.16.8-1build2_amd64.deb | 1.68M | 2024-11-26 14:01:09 |
| libelpi-ocaml_1.17.0-1build4_amd64.deb | 4.61M | 2024-11-15 03:27:13 |
| libelpi-ocaml-dev_1.17.0-1build4_amd64.deb | 10.73M | 2024-11-15 03:27:12 |
| elpi_1.17.0-1build4_amd64.deb | 1.60M | 2024-11-15 03:27:11 |
| libelpi-ocaml_1.16.5-1_amd64.deb | 6.08M | 2023-08-11 05:08:18 |
| libelpi-ocaml-dev_1.16.5-1_amd64.deb | 12.01M | 2023-08-11 05:08:17 |
| elpi_1.16.5-1_amd64.deb | 1.70M | 2023-08-11 05:08:15 |