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

../
coq-hammer_1.3.2+8.15-1.debian.tar.xz              15-Jul-2022 14:45                2232
coq-hammer_1.3.2+8.15-1.dsc                        15-Jul-2022 14:45                2171
coq-hammer_1.3.2+8.15.orig.tar.gz                  15-Jul-2022 14:45              148626
coq-hammer_1.3.2+8.16-1.debian.tar.xz              06-Sep-2022 09:09                2264
coq-hammer_1.3.2+8.16-1.dsc                        06-Sep-2022 09:09                2097
coq-hammer_1.3.2+8.16-2.debian.tar.xz              25-Jan-2023 07:01                2316
coq-hammer_1.3.2+8.16-2.dsc                        25-Jan-2023 07:01                2102
coq-hammer_1.3.2+8.16.orig.tar.gz                  06-Sep-2022 09:09              148694
coq-hammer_1.3.2+8.17-1.debian.tar.xz              12-Jun-2023 20:28                2540
coq-hammer_1.3.2+8.17-1.dsc                        12-Jun-2023 20:28                2112
coq-hammer_1.3.2+8.17.orig.tar.gz                  12-Jun-2023 20:28              148735
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_armhf.deb       27-Jul-2022 22:08              311432
libcoq-hammer_1.3.2+8.15-1_armhf.deb               27-Jul-2022 22:08              193180
libcoq-hammer_1.3.2+8.16-1+b1_armhf.deb            02-Dec-2022 16:08              485776
libcoq-hammer_1.3.2+8.16-1_armhf.deb               17-Sep-2022 16:08              485912
libcoq-hammer_1.3.2+8.16-2+b1_armhf.deb            03-Feb-2023 02:54              486756
libcoq-hammer_1.3.2+8.16-2+b2_armhf.deb            21-May-2023 01:16              486220
libcoq-hammer_1.3.2+8.16-2_armhf.deb               30-Jan-2023 22:08              486788
libcoq-hammer_1.3.2+8.17-1_armhf.deb               20-Oct-2023 10:08              484420
libcoq-hammer_1.3.2+8.18-1_armhf.deb               21-Feb-2024 10:08              484320