Index of /ubuntu-ports/pool/universe/c/coq-reglang/

Index of /ubuntu-ports/pool/universe/c/coq-reglang/


../
coq-reglang_1.1.3-1.debian.tar.xz                  19-Jul-2022 06:48    8328
coq-reglang_1.1.3-1.dsc                            19-Jul-2022 06:48    2106
coq-reglang_1.1.3-1build2.debian.tar.xz            03-Dec-2022 16:59    8432
coq-reglang_1.1.3-1build2.dsc                      03-Dec-2022 16:59    2105
coq-reglang_1.1.3-1build3.debian.tar.xz            26-Jan-2023 15:54    8460
coq-reglang_1.1.3-1build3.dsc                      26-Jan-2023 15:54    2105
coq-reglang_1.1.3-2.debian.tar.xz                  27-Jan-2023 00:29    8392
coq-reglang_1.1.3-2.dsc                            27-Jan-2023 00:29    2111
coq-reglang_1.1.3-2build2.debian.tar.xz            17-Feb-2023 01:50    8472
coq-reglang_1.1.3-2build2.dsc                      17-Feb-2023 01:50    2110
coq-reglang_1.1.3.orig.tar.gz                      19-Jul-2022 06:48     65K
libcoq-reglang_1.1.3-1_arm64.deb                   19-Jul-2022 07:45    804K
libcoq-reglang_1.1.3-1_armhf.deb                   19-Jul-2022 07:45    804K
libcoq-reglang_1.1.3-1_ppc64el.deb                 19-Jul-2022 08:09    804K
libcoq-reglang_1.1.3-1_riscv64.deb                 19-Jul-2022 08:49    804K
libcoq-reglang_1.1.3-1_s390x.deb                   19-Jul-2022 08:09    804K
libcoq-reglang_1.1.3-1build2_arm64.deb             03-Dec-2022 21:54    806K
libcoq-reglang_1.1.3-1build2_armhf.deb             03-Dec-2022 21:54    806K
libcoq-reglang_1.1.3-1build2_ppc64el.deb           03-Dec-2022 19:29    806K
libcoq-reglang_1.1.3-1build2_riscv64.deb           04-Dec-2022 02:04    806K
libcoq-reglang_1.1.3-1build2_s390x.deb             03-Dec-2022 19:29    806K
libcoq-reglang_1.1.3-1build3_arm64.deb             26-Jan-2023 23:39    806K
libcoq-reglang_1.1.3-1build3_armhf.deb             26-Jan-2023 23:39    806K
libcoq-reglang_1.1.3-1build3_ppc64el.deb           26-Jan-2023 23:39    806K
libcoq-reglang_1.1.3-1build3_s390x.deb             26-Jan-2023 23:39    806K
libcoq-reglang_1.1.3-2_arm64.deb                   27-Jan-2023 00:29    806K
libcoq-reglang_1.1.3-2_armhf.deb                   27-Jan-2023 00:54    806K
libcoq-reglang_1.1.3-2_ppc64el.deb                 27-Jan-2023 00:29    806K
libcoq-reglang_1.1.3-2_riscv64.deb                 27-Jan-2023 16:04    806K
libcoq-reglang_1.1.3-2_s390x.deb                   27-Jan-2023 00:29    806K
libcoq-reglang_1.1.3-2build2_arm64.deb             17-Feb-2023 01:50    805K
libcoq-reglang_1.1.3-2build2_armhf.deb             17-Feb-2023 01:50    805K
libcoq-reglang_1.1.3-2build2_ppc64el.deb           17-Feb-2023 01:50    805K
libcoq-reglang_1.1.3-2build2_riscv64.deb           17-Feb-2023 09:34    805K
libcoq-reglang_1.1.3-2build2_s390x.deb             17-Feb-2023 02:44    805K