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