File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-hammer_1.3.2+8.20-1build7.dsc	2.1 KiB	2026-03-04 00:25
coq-hammer_1.3.2+8.20-1build3.dsc	2.1 KiB	2025-02-19 00:25
coq-hammer_1.3.2+8.20-1build4.dsc	2.1 KiB	2025-06-20 16:22
coq-hammer_1.3.2+8.18-1build3.dsc	2.1 KiB	2024-04-08 10:57
coq-hammer_1.3.2+8.18-1build3.debian.tar.xz	2.7 KiB	2024-04-08 10:57
coq-hammer_1.3.2+8.20-1build3.debian.tar.xz	2.8 KiB	2025-02-19 00:25
coq-hammer_1.3.2+8.20-1build4.debian.tar.xz	2.9 KiB	2025-06-20 16:22
coq-hammer_1.3.2+8.20-1build7.debian.tar.xz	3.0 KiB	2026-03-04 00:25
coq-hammer_1.3.2+8.18.orig.tar.gz	145.3 KiB	2023-12-22 20:26
coq-hammer_1.3.2+8.20.orig.tar.gz	145.4 KiB	2024-11-20 21:47
libcoq-hammer_1.3.2+8.20-1build4_amd64.deb	553.6 KiB	2025-06-20 16:23
libcoq-hammer_1.3.2+8.20-1build7_amd64.deb	554.4 KiB	2026-03-04 00:26
libcoq-hammer_1.3.2+8.20-1build3_amd64.deb	554.8 KiB	2025-02-19 00:25
libcoq-hammer_1.3.2+8.20-1build7_amd64v3.deb	555.7 KiB	2026-03-04 00:26
libcoq-hammer_1.3.2+8.18-1build3_amd64.deb	557.3 KiB	2024-04-08 10:57
libcoq-hammer_1.3.2+8.20-1build7_arm64.deb	607.2 KiB	2026-03-04 00:27
libcoq-hammer_1.3.2+8.20-1build4_arm64.deb	610.2 KiB	2025-06-20 16:24