Index of /kali/pool/main/c/coq-gappa/
../
coq-gappa_1.5.3-1.debian.tar.xz 13-Jun-2023 14:20 2048
coq-gappa_1.5.3-1.dsc 13-Jun-2023 14:20 2073
coq-gappa_1.5.3.orig.tar.bz2 13-Jun-2023 14:20 72K
libcoq-gappa_1.5.2-2+b1_amd64.deb 27-Jul-2022 09:59 505K
libcoq-gappa_1.5.2-4+b1_amd64.deb 30-Nov-2022 09:45 503K
libcoq-gappa_1.5.2-4+b1_arm64.deb 30-Nov-2022 10:25 506K
libcoq-gappa_1.5.2-4+b1_armhf.deb 30-Nov-2022 09:45 502K
libcoq-gappa_1.5.2-4+b1_i386.deb 30-Nov-2022 10:35 501K
libcoq-gappa_1.5.2-5+b1_amd64.deb 13-Feb-2023 16:28 504K
libcoq-gappa_1.5.2-5+b1_arm64.deb 13-Feb-2023 16:28 506K
libcoq-gappa_1.5.2-5+b1_armhf.deb 13-Feb-2023 16:28 502K
libcoq-gappa_1.5.2-5+b1_i386.deb 13-Feb-2023 16:08 500K
libcoq-gappa_1.5.3-1+b1_amd64.deb 23-Jul-2023 15:14 503K
libcoq-gappa_1.5.3-1+b1_arm64.deb 23-Jul-2023 15:25 506K
libcoq-gappa_1.5.3-1+b1_armhf.deb 23-Jul-2023 14:59 502K
libcoq-gappa_1.5.3-1+b1_i386.deb 23-Jul-2023 15:55 500K
libcoq-gappa_1.5.3-1+b2_amd64.deb 22-Sep-2023 22:28 503K
libcoq-gappa_1.5.3-1+b2_arm64.deb 22-Sep-2023 22:43 506K
libcoq-gappa_1.5.3-1+b2_armhf.deb 22-Sep-2023 22:28 502K
libcoq-gappa_1.5.3-1+b2_i386.deb 22-Sep-2023 22:18 500K
libcoq-gappa_1.5.3-1_amd64.deb 13-Jun-2023 17:28 503K
libcoq-gappa_1.5.3-1_arm64.deb 17-Jun-2023 01:42 506K
libcoq-gappa_1.5.3-1_armhf.deb 13-Jun-2023 16:43 501K
libcoq-gappa_1.5.3-1_i386.deb 13-Jun-2023 16:43 500K