Index of /kali/pool/main/c/coq-gappa/
../
coq-gappa_1.11.0-1.debian.tar.xz 04-Aug-2026 06:54 3640
coq-gappa_1.11.0-1.dsc 04-Aug-2026 06:54 2135
coq-gappa_1.11.0.orig.tar.gz 04-Aug-2026 06:54 91K
coq-gappa_1.7.0-1.debian.tar.xz 20-Feb-2025 22:41 2208
coq-gappa_1.7.0-1.dsc 20-Feb-2025 22:41 2095
coq-gappa_1.7.0.orig.tar.bz2 20-Feb-2025 22:41 75K
libcoq-gappa_1.11.0-1_amd64.deb 04-Aug-2026 07:25 609K
libcoq-gappa_1.11.0-1_arm64.deb 04-Aug-2026 07:25 612K
libcoq-gappa_1.7.0-1+b3_amd64.deb 12-Feb-2026 22:34 538K
libcoq-gappa_1.7.0-1+b3_arm64.deb 12-Feb-2026 22:24 541K
libcoq-gappa_1.7.0-1+b4_amd64.deb 20-Jun-2026 22:16 538K
libcoq-gappa_1.7.0-1+b4_arm64.deb 20-Jun-2026 22:16 540K