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

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