Index of /kali/pool/main/c/coq-mtac2/
../
coq-mtac2_1.4+8.17-1.debian.tar.xz 13-Jun-2023 14:20 2612
coq-mtac2_1.4+8.17-1.dsc 13-Jun-2023 14:20 2100
coq-mtac2_1.4+8.17.orig.tar.gz 13-Jun-2023 14:20 246K
libcoq-mtac2_1.4+8.16-1+b1_amd64.deb 30-Nov-2022 09:45 745K
libcoq-mtac2_1.4+8.16-1+b1_arm64.deb 30-Nov-2022 10:25 754K
libcoq-mtac2_1.4+8.16-1+b1_armhf.deb 30-Nov-2022 09:55 744K
libcoq-mtac2_1.4+8.16-1+b1_i386.deb 30-Nov-2022 10:35 733K
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 13-Feb-2023 16:28 745K
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb 13-Feb-2023 16:28 754K
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb 13-Feb-2023 16:28 743K
libcoq-mtac2_1.4+8.16-2+b1_i386.deb 13-Feb-2023 16:34 733K
libcoq-mtac2_1.4+8.17-1+b1_amd64.deb 23-Jul-2023 15:14 753K
libcoq-mtac2_1.4+8.17-1+b1_arm64.deb 23-Jul-2023 14:44 762K
libcoq-mtac2_1.4+8.17-1+b1_armhf.deb 23-Jul-2023 14:59 752K
libcoq-mtac2_1.4+8.17-1+b1_i386.deb 23-Jul-2023 16:26 741K
libcoq-mtac2_1.4+8.17-1+b2_amd64.deb 22-Sep-2023 22:28 753K
libcoq-mtac2_1.4+8.17-1+b2_arm64.deb 22-Sep-2023 22:28 762K
libcoq-mtac2_1.4+8.17-1+b2_armhf.deb 22-Sep-2023 22:28 751K
libcoq-mtac2_1.4+8.17-1+b2_i386.deb 22-Sep-2023 22:28 741K
libcoq-mtac2_1.4+8.17-1_amd64.deb 13-Jun-2023 17:43 752K
libcoq-mtac2_1.4+8.17-1_arm64.deb 17-Jun-2023 22:13 762K
libcoq-mtac2_1.4+8.17-1_armhf.deb 13-Jun-2023 16:58 751K
libcoq-mtac2_1.4+8.17-1_i386.deb 13-Jun-2023 17:13 741K