Filename Modification time Size elpi_1.14.1-1.debian.tar.xz 2022-02-09 06:35 CET 4088 B elpi_1.14.1-1.dsc 2022-02-09 06:35 CET 2121 B elpi_1.14.1-1_amd64.deb 2022-02-09 06:37 CET 1192 KiB elpi_1.14.1.orig.tar.gz 2022-02-09 06:35 CET 1508 KiB elpi_1.16.8-1build2.debian.tar.xz 2023-02-17 00:24 CET 4204 B elpi_1.16.8-1build2.dsc 2023-02-17 00:24 CET 2429 B elpi_1.16.8-1build2_amd64.deb 2023-02-17 00:24 CET 1723 KiB elpi_1.16.8.orig.tar.gz 2022-12-07 12:39 CET 2540 KiB elpi_1.17.0-1build4.debian.tar.xz 2023-08-28 15:54 CEST 4364 B elpi_1.17.0-1build4.dsc 2023-08-28 15:54 CEST 2433 B elpi_1.17.0-1build4_amd64.deb 2023-08-28 16:24 CEST 1635 KiB elpi_1.17.0.orig.tar.gz 2023-07-26 01:29 CEST 2546 KiB elpi_1.17.4-3build1.debian.tar.xz 2024-02-17 01:37 CET 4568 B elpi_1.17.4-3build1.dsc 2024-02-17 01:37 CET 2308 B elpi_1.17.4-3build1_amd64.deb 2024-02-17 07:33 CET 1605 KiB elpi_1.17.4.orig.tar.gz 2023-12-22 00:52 CET 2548 KiB elpi_1.18.2-1.debian.tar.xz 2024-05-03 03:55 CEST 4516 B elpi_1.18.2-1.dsc 2024-05-03 03:55 CEST 2497 B elpi_1.18.2-1_amd64.deb 2024-05-03 04:40 CEST 1640 KiB elpi_1.18.2.orig.tar.gz 2024-05-03 03:55 CEST 2569 KiB libelpi-ocaml-dev_1.14.1-1_amd64.deb 2022-02-09 06:37 CET 8165 KiB libelpi-ocaml-dev_1.16.8-1build2_amd64.deb 2023-02-17 00:24 CET 12 MiB libelpi-ocaml-dev_1.17.0-1build4_amd64.deb 2023-08-28 16:24 CEST 11 MiB libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 2024-02-17 07:33 CET 11 MiB libelpi-ocaml-dev_1.18.2-1_amd64.deb 2024-05-03 04:40 CEST 11 MiB libelpi-ocaml_1.14.1-1_amd64.deb 2022-02-09 06:37 CET 2360 KiB libelpi-ocaml_1.16.8-1build2_amd64.deb 2023-02-17 00:24 CET 6212 KiB libelpi-ocaml_1.17.0-1build4_amd64.deb 2023-08-28 16:24 CEST 4719 KiB libelpi-ocaml_1.17.4-3build1_amd64.deb 2024-02-17 07:33 CET 4729 KiB libelpi-ocaml_1.18.2-1_amd64.deb 2024-05-03 04:40 CEST 4848 KiB
