Index of /ubuntu/security/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_amd64.deb           10-Feb-2022 23:34      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-dev_1.14.0-5build1_amd64.deb     21-Jul-2022 16:13      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_amd64.deb               10-Feb-2022 23:34      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-ocaml_1.14.0-5build1_amd64.deb         21-Jul-2022 16:13      8M
libcoq-elpi_1.14.0-5build1_amd64.deb               21-Jul-2022 16:13    495K
libcoq-elpi_1.16.0-2build1_amd64.deb               17-Feb-2023 01:14      3M
libcoq-elpi_1.16.0-2build1_arm64.deb               17-Feb-2023 01:14      3M
libcoq-elpi_1.17.1-1build8_amd64.deb               28-Aug-2023 15:48      3M
libcoq-elpi_1.17.1-1build8_arm64.deb               28-Aug-2023 15:48      3M
libcoq-elpi_1.19.3-2build4_amd64.deb               08-Apr-2024 07:57      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-1build1_amd64.deb                03-May-2024 05:21      4M
libcoq-elpi_2.1.0-1build1_arm64.deb                03-May-2024 19:04      4M