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

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


../
coq-interval_4.5.1-2.debian.tar.xz                 21-Jul-2022 06:19    8324
coq-interval_4.5.1-2.dsc                           21-Jul-2022 06:19    2174
coq-interval_4.5.1.orig.tar.bz2                    21-Jul-2022 06:19    246K
coq-interval_4.6.1-1build1.debian.tar.xz           31-Dec-2022 19:04    8800
coq-interval_4.6.1-1build1.dsc                     31-Dec-2022 19:04    2181
coq-interval_4.6.1-1build2.debian.tar.xz           27-Jan-2023 14:14    8812
coq-interval_4.6.1-1build2.dsc                     27-Jan-2023 14:14    2181
coq-interval_4.6.1-2.debian.tar.xz                 27-Jan-2023 18:55    8788
coq-interval_4.6.1-2.dsc                           27-Jan-2023 18:55    2187
coq-interval_4.6.1-2build3.debian.tar.xz           17-Feb-2023 14:29    8864
coq-interval_4.6.1-2build3.dsc                     17-Feb-2023 14:29    2186
coq-interval_4.6.1.orig.tar.bz2                    14-Dec-2022 00:19    253K
libcoq-interval_4.5.1-2_arm64.deb                  21-Jul-2022 09:44      5M
libcoq-interval_4.5.1-2_armhf.deb                  21-Jul-2022 09:44      5M
libcoq-interval_4.5.1-2_ppc64el.deb                21-Jul-2022 09:44      5M
libcoq-interval_4.5.1-2_riscv64.deb                21-Jul-2022 09:44      5M
libcoq-interval_4.5.1-2_s390x.deb                  21-Jul-2022 19:20      5M
libcoq-interval_4.6.1-1build1_arm64.deb            31-Dec-2022 19:04      5M
libcoq-interval_4.6.1-1build1_armhf.deb            31-Dec-2022 19:04      5M
libcoq-interval_4.6.1-1build1_ppc64el.deb          31-Dec-2022 19:04      5M
libcoq-interval_4.6.1-1build1_riscv64.deb          31-Dec-2022 19:43      5M
libcoq-interval_4.6.1-1build1_s390x.deb            31-Dec-2022 19:04      5M
libcoq-interval_4.6.1-1build2_arm64.deb            27-Jan-2023 14:14      5M
libcoq-interval_4.6.1-1build2_armhf.deb            27-Jan-2023 14:14      5M
libcoq-interval_4.6.1-1build2_ppc64el.deb          27-Jan-2023 14:14      5M
libcoq-interval_4.6.1-1build2_s390x.deb            27-Jan-2023 14:14      5M
libcoq-interval_4.6.1-2_arm64.deb                  27-Jan-2023 18:55      5M
libcoq-interval_4.6.1-2_armhf.deb                  27-Jan-2023 18:55      5M
libcoq-interval_4.6.1-2_ppc64el.deb                27-Jan-2023 18:55      5M
libcoq-interval_4.6.1-2_riscv64.deb                27-Jan-2023 19:54      5M
libcoq-interval_4.6.1-2_s390x.deb                  27-Jan-2023 18:55      5M
libcoq-interval_4.6.1-2build3_arm64.deb            17-Feb-2023 14:29      5M
libcoq-interval_4.6.1-2build3_armhf.deb            17-Feb-2023 14:29      5M
libcoq-interval_4.6.1-2build3_ppc64el.deb          17-Feb-2023 14:29      5M
libcoq-interval_4.6.1-2build3_riscv64.deb          17-Feb-2023 16:07      5M
libcoq-interval_4.6.1-2build3_s390x.deb            17-Feb-2023 14:29      5M