Index of /ubuntu-ports/pool/universe/c/coqprime/

---

../
coqprime-tools_8.15-1_arm64.deb                    19-Jul-2022 19:17    175K
coqprime-tools_8.15-1_armhf.deb                    19-Jul-2022 19:17    173K
coqprime-tools_8.15-1_ppc64el.deb                  19-Jul-2022 08:09    179K
coqprime-tools_8.15-1_riscv64.deb                  19-Jul-2022 10:04    171K
coqprime-tools_8.15-1_s390x.deb                    19-Jul-2022 08:09    271K
coqprime-tools_8.15-1build3_arm64.deb              31-Dec-2022 19:04    175K
coqprime-tools_8.15-1build3_armhf.deb              31-Dec-2022 19:04    173K
coqprime-tools_8.15-1build3_ppc64el.deb            31-Dec-2022 19:04    178K
coqprime-tools_8.15-1build3_riscv64.deb            31-Dec-2022 19:23    174K
coqprime-tools_8.15-1build3_s390x.deb              31-Dec-2022 19:04    270K
coqprime-tools_8.15-2_arm64.deb                    27-Jan-2023 00:54    175K
coqprime-tools_8.15-2_armhf.deb                    27-Jan-2023 00:54    174K
coqprime-tools_8.15-2_ppc64el.deb                  27-Jan-2023 00:54    178K
coqprime-tools_8.15-2_riscv64.deb                  27-Jan-2023 16:28    174K
coqprime-tools_8.15-2_s390x.deb                    27-Jan-2023 00:54    269K
coqprime-tools_8.15-2build2_arm64.deb              17-Feb-2023 14:29    175K
coqprime-tools_8.15-2build2_armhf.deb              17-Feb-2023 14:29    174K
coqprime-tools_8.15-2build2_ppc64el.deb            17-Feb-2023 14:29    178K
coqprime-tools_8.15-2build2_riscv64.deb            17-Feb-2023 15:33    174K
coqprime-tools_8.15-2build2_s390x.deb              17-Feb-2023 14:29    270K
coqprime_8.15-1.debian.tar.xz                      19-Jul-2022 06:48    3512
coqprime_8.15-1.dsc                                19-Jul-2022 06:48    2144
coqprime_8.15-1build3.debian.tar.xz                31-Dec-2022 19:04    3624
coqprime_8.15-1build3.dsc                          31-Dec-2022 19:04    2143
coqprime_8.15-2.debian.tar.xz                      27-Jan-2023 00:29    3576
coqprime_8.15-2.dsc                                27-Jan-2023 00:29    2149
coqprime_8.15-2build2.debian.tar.xz                17-Feb-2023 14:29    3660
coqprime_8.15-2build2.dsc                          17-Feb-2023 14:29    2148
coqprime_8.15.orig.tar.gz                          19-Jul-2022 06:48    964K
libcoq-coqprime_8.15-1_arm64.deb                   19-Jul-2022 19:17      2M
libcoq-coqprime_8.15-1_armhf.deb                   19-Jul-2022 19:17      2M
libcoq-coqprime_8.15-1_ppc64el.deb                 19-Jul-2022 08:09      2M
libcoq-coqprime_8.15-1_riscv64.deb                 19-Jul-2022 10:04      2M
libcoq-coqprime_8.15-1_s390x.deb                   19-Jul-2022 08:09      2M
libcoq-coqprime_8.15-1build3_arm64.deb             31-Dec-2022 19:04      2M
libcoq-coqprime_8.15-1build3_armhf.deb             31-Dec-2022 19:04      2M
libcoq-coqprime_8.15-1build3_ppc64el.deb           31-Dec-2022 19:04      2M
libcoq-coqprime_8.15-1build3_riscv64.deb           31-Dec-2022 19:24      2M
libcoq-coqprime_8.15-1build3_s390x.deb             31-Dec-2022 19:04      2M
libcoq-coqprime_8.15-2_arm64.deb                   27-Jan-2023 00:54      2M
libcoq-coqprime_8.15-2_armhf.deb                   27-Jan-2023 00:54      2M
libcoq-coqprime_8.15-2_ppc64el.deb                 27-Jan-2023 00:54      2M
libcoq-coqprime_8.15-2_riscv64.deb                 27-Jan-2023 16:28      2M
libcoq-coqprime_8.15-2_s390x.deb                   27-Jan-2023 00:54      2M
libcoq-coqprime_8.15-2build2_arm64.deb             17-Feb-2023 14:29      2M
libcoq-coqprime_8.15-2build2_armhf.deb             17-Feb-2023 14:29      2M
libcoq-coqprime_8.15-2build2_ppc64el.deb           17-Feb-2023 14:29      2M
libcoq-coqprime_8.15-2build2_riscv64.deb           17-Feb-2023 15:33      2M
libcoq-coqprime_8.15-2build2_s390x.deb             17-Feb-2023 14:29      2M

---