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