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

---

../
coq-gappa_1.5.2-4.debian.tar.xz                    06-Sep-2022 16:09    1952
coq-gappa_1.5.2-4.dsc                              06-Sep-2022 16:09    2068
coq-gappa_1.5.2-5.debian.tar.xz                    26-Jan-2023 19:44    2008
coq-gappa_1.5.2-5.dsc                              26-Jan-2023 19:44    2073
coq-gappa_1.5.2.orig.tar.bz2                       19-Jul-2022 14:00     72K
libcoq-gappa_1.5.2-4+b1_amd64.deb                  30-Nov-2022 07:45    503K
libcoq-gappa_1.5.2-4+b1_arm64.deb                  30-Nov-2022 08:25    506K
libcoq-gappa_1.5.2-4+b1_armhf.deb                  30-Nov-2022 07:45    502K
libcoq-gappa_1.5.2-4+b1_i386.deb                   30-Nov-2022 08:35    501K
libcoq-gappa_1.5.2-4+b1_ppc64el.deb                30-Nov-2022 09:56    504K
libcoq-gappa_1.5.2-4+b1_s390x.deb                  30-Nov-2022 11:17    504K
libcoq-gappa_1.5.2-5+b1_amd64.deb                  13-Feb-2023 14:28    504K
libcoq-gappa_1.5.2-5+b1_arm64.deb                  13-Feb-2023 14:28    506K
libcoq-gappa_1.5.2-5+b1_armhf.deb                  13-Feb-2023 14:28    502K
libcoq-gappa_1.5.2-5+b1_i386.deb                   13-Feb-2023 14:08    500K
libcoq-gappa_1.5.2-5+b1_ppc64el.deb                14-Feb-2023 17:44    503K
libcoq-gappa_1.5.2-5+b1_s390x.deb                  13-Feb-2023 14:08    504K
libcoq-gappa_1.5.2-5_amd64.deb                     26-Jan-2023 21:56    503K
libcoq-gappa_1.5.2-5_arm64.deb                     26-Jan-2023 22:11    506K
libcoq-gappa_1.5.2-5_armhf.deb                     26-Jan-2023 20:40    502K
libcoq-gappa_1.5.2-5_i386.deb                      26-Jan-2023 21:00    500K
libcoq-gappa_1.5.2-5_ppc64el.deb                   27-Jan-2023 11:12    503K
libcoq-gappa_1.5.2-5_s390x.deb                     27-Jan-2023 00:12    504K

---