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

../
coq-hammer_1.3.2+8.16-2.debian.tar.xz              25-Jan-2023 15:01                2316
coq-hammer_1.3.2+8.16-2.dsc                        25-Jan-2023 15:01                2102
coq-hammer_1.3.2+8.16.orig.tar.gz                  06-Sep-2022 17:09              148694
coq-hammer_1.3.2+8.18-1.debian.tar.xz              22-Dec-2023 18:16                2584
coq-hammer_1.3.2+8.18-1.dsc                        22-Dec-2023 18:16                2112
coq-hammer_1.3.2+8.18.orig.tar.gz                  22-Dec-2023 18:16              148820
coq-hammer_1.3.2+8.19-1.debian.tar.xz              26-Apr-2024 21:46                2604
coq-hammer_1.3.2+8.19-1.dsc                        26-Apr-2024 21:46                2112
coq-hammer_1.3.2+8.19-2.debian.tar.xz              03-Aug-2024 23:44                2732
coq-hammer_1.3.2+8.19-2.dsc                        03-Aug-2024 23:44                1887
coq-hammer_1.3.2+8.19.orig.tar.gz                  26-Apr-2024 21:46              148875
coq-hammer_1.3.2+8.20-1.debian.tar.xz              20-Nov-2024 17:57                2744
coq-hammer_1.3.2+8.20-1.dsc                        20-Nov-2024 17:57                2112
coq-hammer_1.3.2+8.20.orig.tar.gz                  20-Nov-2024 17:57              148863
coq-hammer_1.3.2+9.0-1.debian.tar.xz               29-Oct-2025 16:18                3156
coq-hammer_1.3.2+9.0-1.dsc                         29-Oct-2025 16:18                2107
coq-hammer_1.3.2+9.0-2.debian.tar.xz               12-Nov-2025 01:40                3196
coq-hammer_1.3.2+9.0-2.dsc                         12-Nov-2025 01:40                2114
coq-hammer_1.3.2+9.0.orig.tar.gz                   29-Oct-2025 16:18              148850
libcoq-hammer_1.3.2+8.16-2+b1_amd64.deb            13-Feb-2023 13:11              503424
libcoq-hammer_1.3.2+8.18-1_amd64.deb               22-Dec-2023 19:02              503588
libcoq-hammer_1.3.2+8.19-1+b1_amd64.deb            15-Jun-2024 18:59              496012
libcoq-hammer_1.3.2+8.19-1_amd64.deb               28-Apr-2024 06:03              502692
libcoq-hammer_1.3.2+8.19-2+b1_amd64.deb            11-Aug-2024 12:59              513076
libcoq-hammer_1.3.2+8.19-2+b2_amd64.deb            21-Aug-2024 11:54              513852
libcoq-hammer_1.3.2+8.19-2_amd64.deb               04-Aug-2024 00:14              496652
libcoq-hammer_1.3.2+8.20-1+b1_amd64.deb            30-Jan-2025 15:16              508408
libcoq-hammer_1.3.2+8.20-1+b3_amd64.deb            18-Feb-2025 08:15              509284
libcoq-hammer_1.3.2+8.20-1+b4_amd64.deb            15-Jun-2025 18:49              508988
libcoq-hammer_1.3.2+8.20-1+b5_amd64.deb            28-Dec-2025 12:20              505820
libcoq-hammer_1.3.2+8.20-1_amd64.deb               20-Nov-2024 22:16              507896
libcoq-hammer_1.3.2+9.0-1_amd64.deb                29-Oct-2025 16:18              507964
libcoq-hammer_1.3.2+9.0-2_amd64.deb                12-Nov-2025 01:40              508336