Index of /kali/pool/main/c/coq-mtac2/
../
coq-mtac2_1.4+8.18-1.debian.tar.xz 22-Dec-2023 11:07 2756
coq-mtac2_1.4+8.18-1.dsc 22-Dec-2023 11:07 2100
coq-mtac2_1.4+8.18.orig.tar.gz 22-Dec-2023 11:07 252158
libcoq-mtac2_1.4+8.16-1+b1_amd64.deb 30-Nov-2022 00:45 762440
libcoq-mtac2_1.4+8.16-1+b1_arm64.deb 30-Nov-2022 01:25 771788
libcoq-mtac2_1.4+8.16-1+b1_armhf.deb 30-Nov-2022 00:55 761608
libcoq-mtac2_1.4+8.16-1+b1_i386.deb 30-Nov-2022 01:35 750628
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 13-Feb-2023 07:28 762732
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb 13-Feb-2023 07:28 771848
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb 13-Feb-2023 07:28 760920
libcoq-mtac2_1.4+8.16-2+b1_i386.deb 13-Feb-2023 07:34 750740
libcoq-mtac2_1.4+8.17-1+b1_amd64.deb 23-Jul-2023 06:14 770872
libcoq-mtac2_1.4+8.17-1+b1_arm64.deb 23-Jul-2023 05:44 780056
libcoq-mtac2_1.4+8.17-1+b1_armhf.deb 23-Jul-2023 05:59 769712
libcoq-mtac2_1.4+8.17-1+b1_i386.deb 23-Jul-2023 07:26 759188
libcoq-mtac2_1.4+8.17-1+b2_amd64.deb 22-Sep-2023 13:28 770712
libcoq-mtac2_1.4+8.17-1+b2_arm64.deb 22-Sep-2023 13:28 780224
libcoq-mtac2_1.4+8.17-1+b2_armhf.deb 22-Sep-2023 13:28 769208
libcoq-mtac2_1.4+8.17-1+b2_i386.deb 22-Sep-2023 13:28 759072
libcoq-mtac2_1.4+8.18-1_amd64.deb 23-Dec-2023 11:52 785092
libcoq-mtac2_1.4+8.18-1_arm64.deb 23-Dec-2023 11:52 795192
libcoq-mtac2_1.4+8.18-1_armhf.deb 23-Dec-2023 11:52 783812
libcoq-mtac2_1.4+8.18-1_i386.deb 23-Dec-2023 11:52 773416