Index of /argostmp/pool/main/c/coq-gappa/

../
coq-gappa_1.7.0-1.debian.tar.xz                    20-Feb-2025 15:41                2208
coq-gappa_1.7.0-1.dsc                              20-Feb-2025 15:41                2095
coq-gappa_1.7.0.orig.tar.bz2                       20-Feb-2025 15:41               76391
libcoq-gappa-dbgsym_1.6.0-1_arm64.deb              19-Feb-2025 23:49                7480
libcoq-gappa-dbgsym_1.7.0-1_amd64.deb              25-Feb-2025 10:51                6440
libcoq-gappa-dbgsym_1.7.0-1_ppc64el.deb            09-Mar-2025 13:34                7036
libcoq-gappa-dbgsym_1.7.0-1_riscv64.deb            17-Mar-2025 06:43                6528
libcoq-gappa_1.6.0-1_arm64.deb                     19-Feb-2025 23:49              539576
libcoq-gappa_1.7.0-1_amd64.deb                     25-Feb-2025 10:51              550240
libcoq-gappa_1.7.0-1_ppc64el.deb                   09-Mar-2025 13:34              549572
libcoq-gappa_1.7.0-1_riscv64.deb                   17-Mar-2025 06:43              551360