Index of /ubuntu-ports/packages/pool/universe/c/coq-elpi/
../
coq-elpi_1.11.2-2.debian.tar.xz 17-Jan-2022 17:19 3988
coq-elpi_1.11.2-2.dsc 17-Jan-2022 17:19 2078
coq-elpi_1.11.2.orig.tar.gz 17-Dec-2021 23:20 343K
coq-elpi_1.12.1-1build1.debian.tar.xz 25-Jan-2022 18:31 4068
coq-elpi_1.12.1-1build1.dsc 25-Jan-2022 18:31 2112
coq-elpi_1.12.1.orig.tar.gz 21-Jan-2022 23:49 345K
libcoq-elpi-ocaml-dev_1.11.2-2_ppc64el.deb 17-Jan-2022 18:04 1M
libcoq-elpi-ocaml-dev_1.11.2-2_riscv64.deb 17-Jan-2022 18:05 2M
libcoq-elpi-ocaml-dev_1.12.1-1build1_ppc64el.deb 25-Jan-2022 18:31 2M
libcoq-elpi-ocaml-dev_1.12.1-1build1_riscv64.deb 28-Jan-2022 16:28 2M
libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb 10-Feb-2022 23:53 2M
libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb 10-Feb-2022 23:53 2M
libcoq-elpi-ocaml_1.11.2-2_ppc64el.deb 17-Jan-2022 18:04 5M
libcoq-elpi-ocaml_1.11.2-2_riscv64.deb 17-Jan-2022 18:04 5M
libcoq-elpi-ocaml_1.12.1-1build1_ppc64el.deb 25-Jan-2022 18:31 5M
libcoq-elpi-ocaml_1.12.1-1build1_riscv64.deb 28-Jan-2022 16:28 5M
libcoq-elpi-ocaml_1.13.0-1_arm64.deb 10-Feb-2022 23:53 5M
libcoq-elpi-ocaml_1.13.0-1_armhf.deb 10-Feb-2022 23:53 5M
libcoq-elpi_1.16.0-2build1_arm64.deb 17-Feb-2023 01:14 3M
libcoq-elpi_1.19.3-2build4_arm64.deb 08-Apr-2024 07:57 3M
libcoq-elpi_1.19.3-2build4_armhf.deb 08-Apr-2024 07:57 3M
libcoq-elpi_2.1.0-1build9_arm64.deb 19-Sep-2024 17:02 3M
libcoq-elpi_2.2.3-1_arm64.deb 20-Nov-2024 18:48 9M
libcoq-elpi_2.2.3-1build1_arm64.deb 21-Nov-2024 03:11 8M