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

../
coq-hammer_1.3.2+8.18-1.debian.tar.xz              22-Dec-2023 10:16                2584
coq-hammer_1.3.2+8.18-1.dsc                        22-Dec-2023 10:16                2112
coq-hammer_1.3.2+8.18.orig.tar.gz                  22-Dec-2023 10:16              148820
libcoq-hammer-tactics_1.3.2+8.15-1+b1_amd64.deb    27-Jul-2022 00:59              313748
libcoq-hammer_1.3.2+8.15-1+b1_amd64.deb            27-Jul-2022 00:59              209712
libcoq-hammer_1.3.2+8.16-1+b1_amd64.deb            29-Nov-2022 23:43              504688
libcoq-hammer_1.3.2+8.16-1+b1_arm64.deb            29-Nov-2022 23:43              530240
libcoq-hammer_1.3.2+8.16-1+b1_armhf.deb            29-Nov-2022 23:43              493932
libcoq-hammer_1.3.2+8.16-1+b1_i386.deb             29-Nov-2022 23:23              482976
libcoq-hammer_1.3.2+8.16-2+b1_amd64.deb            13-Feb-2023 05:11              503424
libcoq-hammer_1.3.2+8.16-2+b1_arm64.deb            13-Feb-2023 05:11              531060
libcoq-hammer_1.3.2+8.16-2+b1_armhf.deb            13-Feb-2023 05:26              493120
libcoq-hammer_1.3.2+8.16-2+b1_i386.deb             13-Feb-2023 05:11              482944
libcoq-hammer_1.3.2+8.17-1+b1_amd64.deb            23-Jul-2023 05:12              502012
libcoq-hammer_1.3.2+8.17-1+b1_arm64.deb            23-Jul-2023 04:57              530824
libcoq-hammer_1.3.2+8.17-1+b1_armhf.deb            23-Jul-2023 04:57              491440
libcoq-hammer_1.3.2+8.17-1+b1_i386.deb             23-Jul-2023 05:28              481916
libcoq-hammer_1.3.2+8.17-1+b2_amd64.deb            22-Sep-2023 12:42              503468
libcoq-hammer_1.3.2+8.17-1+b2_arm64.deb            22-Sep-2023 12:42              530596
libcoq-hammer_1.3.2+8.17-1+b2_armhf.deb            22-Sep-2023 12:42              491592
libcoq-hammer_1.3.2+8.17-1+b2_i386.deb             22-Sep-2023 12:42              481756
libcoq-hammer_1.3.2+8.18-1_amd64.deb               22-Dec-2023 11:02              503588
libcoq-hammer_1.3.2+8.18-1_arm64.deb               22-Dec-2023 10:51              530696
libcoq-hammer_1.3.2+8.18-1_armhf.deb               22-Dec-2023 10:51              492356
libcoq-hammer_1.3.2+8.18-1_i386.deb                22-Dec-2023 11:02              482524