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

../
coq-equations_1.3-8.18-1.debian.tar.xz             22-Dec-2023 11:07                2640
coq-equations_1.3-8.18-1.dsc                       22-Dec-2023 11:07                2166
coq-equations_1.3-8.18.orig.tar.gz                 22-Dec-2023 11:07             1102730
libcoq-equations_1.3-8.15-2+b1_amd64.deb           27-Jul-2022 00:43             1433520
libcoq-equations_1.3-8.15-2+b1_arm64.deb           28-Aug-2022 21:28             1457204
libcoq-equations_1.3-8.15-2+b1_armhf.deb           28-Aug-2022 21:29             1416116
libcoq-equations_1.3-8.15-2+b1_i386.deb            28-Aug-2022 23:29             1376036
libcoq-equations_1.3-8.15-2+b2_amd64.deb           28-Aug-2022 23:13             1429920
libcoq-equations_1.3-8.16-1+b1_amd64.deb           30-Nov-2022 00:29             1422844
libcoq-equations_1.3-8.16-1+b1_arm64.deb           30-Nov-2022 01:25             1445776
libcoq-equations_1.3-8.16-1+b1_armhf.deb           30-Nov-2022 00:45             1405888
libcoq-equations_1.3-8.16-1+b1_i386.deb            30-Nov-2022 00:24             1364588
libcoq-equations_1.3-8.16-2+b1_amd64.deb           14-Feb-2023 06:11             1421860
libcoq-equations_1.3-8.16-2+b1_arm64.deb           14-Feb-2023 06:11             1446000
libcoq-equations_1.3-8.16-2+b1_armhf.deb           14-Feb-2023 06:11             1406004
libcoq-equations_1.3-8.16-2+b1_i386.deb            14-Feb-2023 06:11             1364728
libcoq-equations_1.3-8.17-1+b1_amd64.deb           23-Jul-2023 12:59             1402416
libcoq-equations_1.3-8.17-1+b1_arm64.deb           23-Jul-2023 14:26             1426544
libcoq-equations_1.3-8.17-1+b1_armhf.deb           23-Jul-2023 15:40             1384912
libcoq-equations_1.3-8.17-1+b1_i386.deb            23-Jul-2023 13:40             1344088
libcoq-equations_1.3-8.17-2+b1_amd64.deb           22-Sep-2023 13:13             1404084
libcoq-equations_1.3-8.17-2+b1_arm64.deb           22-Sep-2023 13:28             1425676
libcoq-equations_1.3-8.17-2+b1_armhf.deb           22-Sep-2023 13:13             1385264
libcoq-equations_1.3-8.17-2+b1_i386.deb            22-Sep-2023 13:13             1345912
libcoq-equations_1.3-8.18-1_amd64.deb              23-Dec-2023 11:47             1396156
libcoq-equations_1.3-8.18-1_arm64.deb              23-Dec-2023 11:47             1418116
libcoq-equations_1.3-8.18-1_armhf.deb              23-Dec-2023 11:52             1378440
libcoq-equations_1.3-8.18-1_i386.deb               23-Dec-2023 11:47             1337492