| Parent directory/ | - | - |
| elpi_1.18.2.orig.tar.gz | 2630264 | 2024-Apr-26 15:46 |
| elpi_1.18.2-4.dsc | 2613 | 2024-Jun-18 11:47 |
| elpi_1.18.2-4.debian.tar.xz | 4848 | 2024-Jun-18 11:47 |
| libelpi-ocaml_1.18.2-4_i386.deb | 3825368 | 2024-Jun-18 12:07 |
| elpi_1.18.2-4_i386.deb | 1405720 | 2024-Jun-18 12:07 |
| libelpi-ocaml-dev_1.18.2-4_i386.deb | 9429460 | 2024-Jun-18 12:07 |
| libelpi-ocaml-dev_1.18.2-4_amd64.deb | 9741192 | 2024-Jun-18 12:13 |
| elpi_1.18.2-4_amd64.deb | 1476884 | 2024-Jun-18 12:13 |
| libelpi-ocaml_1.18.2-4_amd64.deb | 3889872 | 2024-Jun-18 12:13 |
| elpi_1.18.2-4_armhf.deb | 1408968 | 2024-Jun-18 12:18 |
| libelpi-ocaml-dev_1.18.2-4_armhf.deb | 9617928 | 2024-Jun-18 12:18 |
| libelpi-ocaml_1.18.2-4_armhf.deb | 3885284 | 2024-Jun-18 12:18 |
| libelpi-ocaml_1.18.2-4_arm64.deb | 3939456 | 2024-Jun-18 12:18 |
| libelpi-ocaml-dev_1.18.2-4_arm64.deb | 10275576 | 2024-Jun-18 12:18 |
| elpi_1.18.2-4_arm64.deb | 1710272 | 2024-Jun-18 12:18 |
| elpi_1.18.2-5.dsc | 2166 | 2024-Aug-10 09:45 |
| elpi_1.18.2-5.debian.tar.xz | 4880 | 2024-Aug-10 09:45 |
| libelpi-ocaml_1.18.2-5+b5_amd64.deb | 3134832 | 2024-Oct-12 08:46 |
| libelpi-ocaml-dev_1.18.2-5+b5_amd64.deb | 13281896 | 2024-Oct-12 08:46 |
| elpi_1.18.2-5+b5_amd64.deb | 1635208 | 2024-Oct-12 08:46 |
| libelpi-ocaml_1.18.2-5+b5_arm64.deb | 3185348 | 2024-Oct-12 08:57 |
| libelpi-ocaml-dev_1.18.2-5+b5_arm64.deb | 13811972 | 2024-Oct-12 08:57 |
| elpi_1.18.2-5+b5_arm64.deb | 1866436 | 2024-Oct-12 08:57 |