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

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


../
coq-unicoq_1.6-8.15-2.debian.tar.xz                21-Jul-2022 06:19    2276
coq-unicoq_1.6-8.15-2.dsc                          21-Jul-2022 06:19    2079
coq-unicoq_1.6-8.15.orig.tar.gz                    21-Jul-2022 06:19    580K
coq-unicoq_1.6-8.16-1build2.debian.tar.xz          03-Dec-2022 16:59    2412
coq-unicoq_1.6-8.16-1build2.dsc                    03-Dec-2022 16:59    2078
coq-unicoq_1.6-8.16-2.debian.tar.xz                26-Jan-2023 01:17    2364
coq-unicoq_1.6-8.16-2.dsc                          26-Jan-2023 01:17    2084
coq-unicoq_1.6-8.16-2build1.debian.tar.xz          26-Jan-2023 20:54    2428
coq-unicoq_1.6-8.16-2build1.dsc                    26-Jan-2023 20:54    2083
coq-unicoq_1.6-8.16-2build2.debian.tar.xz          17-Feb-2023 01:50    2440
coq-unicoq_1.6-8.16-2build2.dsc                    17-Feb-2023 01:50    2083
coq-unicoq_1.6-8.16.orig.tar.gz                    06-Nov-2022 10:17    580K
libcoq-unicoq_1.6-8.15-2_arm64.deb                 21-Jul-2022 09:44     93K
libcoq-unicoq_1.6-8.15-2_armhf.deb                 21-Jul-2022 09:44     84K
libcoq-unicoq_1.6-8.15-2_ppc64el.deb               21-Jul-2022 09:44     88K
libcoq-unicoq_1.6-8.15-2_riscv64.deb               21-Jul-2022 09:44     85K
libcoq-unicoq_1.6-8.15-2_s390x.deb                 21-Jul-2022 19:20     88K
libcoq-unicoq_1.6-8.16-1build2_arm64.deb           03-Dec-2022 16:59     95K
libcoq-unicoq_1.6-8.16-1build2_armhf.deb           03-Dec-2022 16:59     84K
libcoq-unicoq_1.6-8.16-1build2_ppc64el.deb         03-Dec-2022 16:59     90K
libcoq-unicoq_1.6-8.16-1build2_riscv64.deb         03-Dec-2022 17:18     87K
libcoq-unicoq_1.6-8.16-1build2_s390x.deb           03-Dec-2022 16:59     89K
libcoq-unicoq_1.6-8.16-2build1_arm64.deb           26-Jan-2023 20:54     95K
libcoq-unicoq_1.6-8.16-2build1_armhf.deb           26-Jan-2023 20:54     84K
libcoq-unicoq_1.6-8.16-2build1_ppc64el.deb         26-Jan-2023 20:54     90K
libcoq-unicoq_1.6-8.16-2build1_riscv64.deb         26-Jan-2023 23:39     87K
libcoq-unicoq_1.6-8.16-2build1_s390x.deb           26-Jan-2023 20:54     89K
libcoq-unicoq_1.6-8.16-2build2_arm64.deb           17-Feb-2023 01:50     95K
libcoq-unicoq_1.6-8.16-2build2_armhf.deb           17-Feb-2023 01:50     84K
libcoq-unicoq_1.6-8.16-2build2_ppc64el.deb         17-Feb-2023 01:50     90K
libcoq-unicoq_1.6-8.16-2build2_riscv64.deb         17-Feb-2023 02:44     87K
libcoq-unicoq_1.6-8.16-2build2_s390x.deb           17-Feb-2023 01:50     89K