Index of /ubuntu/pool/universe/c/coq-hammer/

../
coq-hammer_1.3.2+8.18-1build3.debian.tar.xz        08-Apr-2024 09:57    2768
coq-hammer_1.3.2+8.18-1build3.dsc                  08-Apr-2024 09:57    2190
coq-hammer_1.3.2+8.18.orig.tar.gz                  22-Dec-2023 19:26    145K
coq-hammer_1.3.2+8.20-1build3.debian.tar.xz        18-Feb-2025 23:25    2908
coq-hammer_1.3.2+8.20-1build3.dsc                  18-Feb-2025 23:25    2111
coq-hammer_1.3.2+8.20-1build4.debian.tar.xz        20-Jun-2025 15:22    2940
coq-hammer_1.3.2+8.20-1build4.dsc                  20-Jun-2025 15:22    2111
coq-hammer_1.3.2+8.20-1build7.debian.tar.xz        03-Mar-2026 23:25    3048
coq-hammer_1.3.2+8.20-1build7.dsc                  03-Mar-2026 23:25    2111
coq-hammer_1.3.2+8.20-1build8.debian.tar.xz        08-Jul-2026 17:26    3072
coq-hammer_1.3.2+8.20-1build8.dsc                  08-Jul-2026 17:26    2111
coq-hammer_1.3.2+8.20.orig.tar.gz                  20-Nov-2024 20:47    145K
coq-hammer_1.3.3+9.2-2.debian.tar.xz               28-Jul-2026 19:29    2908
coq-hammer_1.3.3+9.2-2.dsc                         28-Jul-2026 19:29    2114
coq-hammer_1.3.3+9.2-2build1.debian.tar.xz         26-Aug-2026 18:19    2984
coq-hammer_1.3.3+9.2-2build1.dsc                   26-Aug-2026 18:19    2101
coq-hammer_1.3.3+9.2-2build2.debian.tar.xz         27-Aug-2026 16:19    2988
coq-hammer_1.3.3+9.2-2build2.dsc                   27-Aug-2026 16:19    2101
coq-hammer_1.3.3+9.2-2build3.debian.tar.xz         30-Aug-2026 08:53    3008
coq-hammer_1.3.3+9.2-2build3.dsc                   30-Aug-2026 08:53    2101
coq-hammer_1.3.3+9.2-2build4.debian.tar.xz         10-Sep-2026 09:03    3020
coq-hammer_1.3.3+9.2-2build4.dsc                   10-Sep-2026 09:03    2101
coq-hammer_1.3.3+9.2.orig.tar.gz                   28-Jul-2026 19:29    174K
libcoq-hammer_1.3.2+8.18-1build3_amd64.deb         08-Apr-2024 09:57    557K
libcoq-hammer_1.3.2+8.20-1build3_amd64.deb         18-Feb-2025 23:25    555K
libcoq-hammer_1.3.2+8.20-1build4_amd64.deb         20-Jun-2025 15:23    554K
libcoq-hammer_1.3.2+8.20-1build4_arm64.deb         20-Jun-2025 15:24    610K
libcoq-hammer_1.3.2+8.20-1build7_amd64.deb         03-Mar-2026 23:26    554K
libcoq-hammer_1.3.2+8.20-1build7_amd64v3.deb       03-Mar-2026 23:26    556K
libcoq-hammer_1.3.2+8.20-1build7_arm64.deb         03-Mar-2026 23:27    607K
libcoq-hammer_1.3.2+8.20-1build8_amd64.deb         08-Jul-2026 23:23    555K
libcoq-hammer_1.3.2+8.20-1build8_amd64v3.deb       08-Jul-2026 23:25    556K
libcoq-hammer_1.3.2+8.20-1build8_arm64.deb         08-Jul-2026 23:28    608K
libcoq-hammer_1.3.3+9.2-2_amd64.deb                25-Aug-2026 19:59    566K
libcoq-hammer_1.3.3+9.2-2_amd64v3.deb              25-Aug-2026 19:59    567K
libcoq-hammer_1.3.3+9.2-2_arm64.deb                26-Aug-2026 05:40    621K
libcoq-hammer_1.3.3+9.2-2build2_arm64.deb          27-Aug-2026 16:20    621K
libcoq-hammer_1.3.3+9.2-2build3_amd64.deb          30-Aug-2026 08:53    566K
libcoq-hammer_1.3.3+9.2-2build3_amd64v3.deb        30-Aug-2026 08:53    568K
libcoq-hammer_1.3.3+9.2-2build3_arm64.deb          30-Aug-2026 09:14    621K
libcoq-hammer_1.3.3+9.2-2build4_amd64.deb          10-Sep-2026 09:33    566K
libcoq-hammer_1.3.3+9.2-2build4_amd64v3.deb        10-Sep-2026 09:33    567K
libcoq-hammer_1.3.3+9.2-2build4_arm64.deb          10-Sep-2026 09:33    621K