File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-interval_4.11.1-1build11.debian.tar.xz	9.4 KiB	2025-08-31 22:42
coq-interval_4.11.1-1build11.dsc	2.1 KiB	2025-08-31 22:42
coq-interval_4.11.1-1build16.debian.tar.xz	9.5 KiB	2026-03-08 20:18
coq-interval_4.11.1-1build16.dsc	2.1 KiB	2026-03-08 20:18
coq-interval_4.11.1-1build7.debian.tar.xz	9.3 KiB	2025-02-19 10:52
coq-interval_4.11.1-1build7.dsc	2.1 KiB	2025-02-19 10:52
coq-interval_4.11.1.orig.tar.gz	371.9 KiB	2024-11-20 21:47
coq-interval_4.9.0-1build5.debian.tar.xz	9.2 KiB	2024-04-08 10:57
coq-interval_4.9.0-1build5.dsc	2.2 KiB	2024-04-08 10:57
coq-interval_4.9.0.orig.tar.bz2	275.4 KiB	2023-12-26 20:17
libcoq-interval_4.11.1-1build11_amd64.deb	7.3 MiB	2025-09-02 11:35
libcoq-interval_4.11.1-1build11_arm64.deb	7.3 MiB	2025-09-02 11:36
libcoq-interval_4.11.1-1build16_amd64.deb	7.3 MiB	2026-03-08 20:19
libcoq-interval_4.11.1-1build16_amd64v3.deb	7.3 MiB	2026-03-08 20:19
libcoq-interval_4.11.1-1build16_arm64.deb	7.3 MiB	2026-03-08 20:19
libcoq-interval_4.11.1-1build7_amd64.deb	7.3 MiB	2025-02-20 12:56
libcoq-interval_4.9.0-1build5_amd64.deb	6.5 MiB	2024-04-08 19:11