Index of /ubuntu-ports/pool/universe/c/coq-gappa/
../ coq-gappa_1.5.2-2.debian.tar.xz 21-Jul-2022 06:19 1648 coq-gappa_1.5.2-2.dsc 21-Jul-2022 06:19 2066 coq-gappa_1.5.2-4build2.debian.tar.xz 03-Dec-2022 19:29 2044 coq-gappa_1.5.2-4build2.dsc 03-Dec-2022 19:29 2067 coq-gappa_1.5.2-5.debian.tar.xz 27-Jan-2023 00:29 2008 coq-gappa_1.5.2-5.dsc 27-Jan-2023 00:29 2073 coq-gappa_1.5.2-5build1.debian.tar.xz 17-Feb-2023 01:50 2080 coq-gappa_1.5.2-5build1.dsc 17-Feb-2023 01:50 2072 coq-gappa_1.5.2.orig.tar.bz2 21-Jul-2022 06:19 72K libcoq-gappa_1.5.2-2_arm64.deb 21-Jul-2022 09:44 595K libcoq-gappa_1.5.2-2_armhf.deb 21-Jul-2022 09:44 588K libcoq-gappa_1.5.2-2_ppc64el.deb 21-Jul-2022 09:44 589K libcoq-gappa_1.5.2-2_riscv64.deb 21-Jul-2022 09:44 590K libcoq-gappa_1.5.2-2_s390x.deb 21-Jul-2022 19:20 591K libcoq-gappa_1.5.2-4build2_arm64.deb 03-Dec-2022 19:29 593K libcoq-gappa_1.5.2-4build2_armhf.deb 03-Dec-2022 19:29 585K libcoq-gappa_1.5.2-4build2_ppc64el.deb 03-Dec-2022 19:29 587K libcoq-gappa_1.5.2-4build2_riscv64.deb 03-Dec-2022 19:29 587K libcoq-gappa_1.5.2-4build2_s390x.deb 03-Dec-2022 19:29 589K libcoq-gappa_1.5.2-5_arm64.deb 27-Jan-2023 00:54 593K libcoq-gappa_1.5.2-5_armhf.deb 27-Jan-2023 00:54 585K libcoq-gappa_1.5.2-5_ppc64el.deb 27-Jan-2023 00:54 587K libcoq-gappa_1.5.2-5_riscv64.deb 27-Jan-2023 14:14 587K libcoq-gappa_1.5.2-5_s390x.deb 27-Jan-2023 00:29 589K libcoq-gappa_1.5.2-5build1_arm64.deb 17-Feb-2023 01:50 592K libcoq-gappa_1.5.2-5build1_armhf.deb 17-Feb-2023 03:44 585K libcoq-gappa_1.5.2-5build1_ppc64el.deb 17-Feb-2023 03:44 587K libcoq-gappa_1.5.2-5build1_riscv64.deb 17-Feb-2023 05:24 587K libcoq-gappa_1.5.2-5build1_s390x.deb 17-Feb-2023 03:44 589K