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

---

../
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
coq-gappa_1.5.3-1.debian.tar.xz                    13-Jun-2023 12:20    2048
coq-gappa_1.5.3-1.dsc                              13-Jun-2023 12:20    2073
coq-gappa_1.5.3.orig.tar.bz2                       13-Jun-2023 12:20     72K
libcoq-gappa_1.5.2-2+b1_amd64.deb                  27-Jul-2022 07:59    505K
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-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.3-1_amd64.deb                     13-Jun-2023 15:28    503K
libcoq-gappa_1.5.3-1_arm64.deb                     16-Jun-2023 23:42    506K
libcoq-gappa_1.5.3-1_armhf.deb                     13-Jun-2023 14:43    501K
libcoq-gappa_1.5.3-1_i386.deb                      13-Jun-2023 14:43    500K

---