File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-libhyps_2.0.8.orig.tar.gz	36.4 KiB	2023-12-22 20:26
coq-libhyps_2.0.8-1build4.debian.tar.xz	2.3 KiB	2024-04-08 10:57
coq-libhyps_2.0.8-1build4.dsc	2.1 KiB	2024-04-08 10:57
libcoq-libhyps_2.0.8-1build4_amd64.deb	75.8 KiB	2024-04-08 10:57
coq-libhyps_2.0.8-4build7.debian.tar.xz	2.4 KiB	2025-02-19 00:25
coq-libhyps_2.0.8-4build7.dsc	2.0 KiB	2025-02-19 00:25
libcoq-libhyps_2.0.8-4build7_amd64.deb	70.0 KiB	2025-02-19 00:25
coq-libhyps_2.0.8-4build8.debian.tar.xz	2.4 KiB	2025-06-20 16:22
coq-libhyps_2.0.8-4build8.dsc	2.0 KiB	2025-06-20 16:22
libcoq-libhyps_2.0.8-4build8_amd64.deb	70.0 KiB	2025-06-20 16:23
libcoq-libhyps_2.0.8-4build8_arm64.deb	69.9 KiB	2025-06-20 16:24
coq-libhyps_2.0.8-4build11.debian.tar.xz	2.5 KiB	2026-03-04 00:25
coq-libhyps_2.0.8-4build11.dsc	2.0 KiB	2026-03-04 00:25
libcoq-libhyps_2.0.8-4build11_amd64.deb	69.9 KiB	2026-03-04 00:26
libcoq-libhyps_2.0.8-4build11_amd64v3.deb	69.9 KiB	2026-03-04 00:26
libcoq-libhyps_2.0.8-4build11_arm64.deb	69.9 KiB	2026-03-04 00:27