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

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


../
coqeal_1.1.1-1build1.debian.tar.xz                 30-Aug-2022 17:48    2164
coqeal_1.1.1-1build1.dsc                           30-Aug-2022 17:48    2152
coqeal_1.1.1-2build3.debian.tar.xz                 31-Dec-2022 19:04    2224
coqeal_1.1.1-2build3.dsc                           31-Dec-2022 19:04    2152
coqeal_1.1.1-2build4.debian.tar.xz                 27-Jan-2023 16:04    2236
coqeal_1.1.1-2build4.dsc                           27-Jan-2023 16:04    2152
coqeal_1.1.1-3.debian.tar.xz                       28-Jan-2023 06:34    2160
coqeal_1.1.1-3.dsc                                 28-Jan-2023 06:34    2158
coqeal_1.1.1-3build3.debian.tar.xz                 17-Feb-2023 14:29    2256
coqeal_1.1.1-3build3.dsc                           17-Feb-2023 14:29    2157
coqeal_1.1.1.orig.tar.gz                           08-Jul-2022 18:34    214K
libcoq-coqeal_1.1.1-1build1_arm64.deb              30-Aug-2022 19:29      5M
libcoq-coqeal_1.1.1-1build1_armhf.deb              30-Aug-2022 20:08      5M
libcoq-coqeal_1.1.1-1build1_ppc64el.deb            30-Aug-2022 19:29      5M
libcoq-coqeal_1.1.1-1build1_riscv64.deb            30-Aug-2022 20:09      5M
libcoq-coqeal_1.1.1-1build1_s390x.deb              30-Aug-2022 19:29      5M
libcoq-coqeal_1.1.1-2build3_arm64.deb              31-Dec-2022 19:04      5M
libcoq-coqeal_1.1.1-2build3_armhf.deb              31-Dec-2022 19:04      5M
libcoq-coqeal_1.1.1-2build3_ppc64el.deb            31-Dec-2022 19:04      5M
libcoq-coqeal_1.1.1-2build3_riscv64.deb            31-Dec-2022 19:04      5M
libcoq-coqeal_1.1.1-2build3_s390x.deb              31-Dec-2022 19:04      5M
libcoq-coqeal_1.1.1-2build4_arm64.deb              27-Jan-2023 16:04      5M
libcoq-coqeal_1.1.1-2build4_armhf.deb              27-Jan-2023 16:04      5M
libcoq-coqeal_1.1.1-2build4_ppc64el.deb            27-Jan-2023 16:04      5M
libcoq-coqeal_1.1.1-2build4_riscv64.deb            27-Jan-2023 19:54      5M
libcoq-coqeal_1.1.1-2build4_s390x.deb              27-Jan-2023 16:04      5M
libcoq-coqeal_1.1.1-3_arm64.deb                    28-Jan-2023 06:34      5M
libcoq-coqeal_1.1.1-3_armhf.deb                    28-Jan-2023 06:34      5M
libcoq-coqeal_1.1.1-3_ppc64el.deb                  28-Jan-2023 06:34      5M
libcoq-coqeal_1.1.1-3_riscv64.deb                  28-Jan-2023 07:38      5M
libcoq-coqeal_1.1.1-3_s390x.deb                    28-Jan-2023 06:34      5M
libcoq-coqeal_1.1.1-3build3_arm64.deb              17-Feb-2023 14:29      5M
libcoq-coqeal_1.1.1-3build3_armhf.deb              17-Feb-2023 14:29      5M
libcoq-coqeal_1.1.1-3build3_ppc64el.deb            17-Feb-2023 14:29      5M
libcoq-coqeal_1.1.1-3build3_riscv64.deb            17-Feb-2023 15:04      5M
libcoq-coqeal_1.1.1-3build3_s390x.deb              17-Feb-2023 14:29      5M