Filename Modification time Size coq-interval_4.9.0-1build5.debian.tar.xz 2024-04-08 09:57 CEST 9448 B coq-interval_4.9.0-1build5.dsc 2024-04-08 09:57 CEST 2265 B coq-interval_4.9.0.orig.tar.bz2 2023-12-26 18:17 CET 275 KiB coq-interval_4.11.1-1build7.debian.tar.xz 2025-02-19 08:52 CET 9552 B coq-interval_4.11.1-1build7.dsc 2025-02-19 08:52 CET 2190 B coq-interval_4.11.1-1build11.debian.tar.xz 2025-08-31 21:42 CEST 9624 B coq-interval_4.11.1-1build11.dsc 2025-08-31 21:42 CEST 2194 B coq-interval_4.11.1-1build16.debian.tar.xz 2026-03-08 18:18 CET 9736 B coq-interval_4.11.1-1build16.dsc 2026-03-08 18:18 CET 2194 B coq-interval_4.11.1.orig.tar.gz 2024-11-20 19:47 CET 372 KiB coq-interval_4.11.4-2.debian.tar.xz 2026-07-30 01:27 CEST 10 KiB coq-interval_4.11.4-2.dsc 2026-07-30 01:27 CEST 2213 B coq-interval_4.11.4-3.debian.tar.xz 2026-08-13 03:34 CEST 10 KiB coq-interval_4.11.4-3.dsc 2026-08-13 03:34 CEST 2213 B coq-interval_4.11.4.orig.tar.gz 2026-07-30 01:27 CEST 338 KiB libcoq-interval_4.9.0-1build5_amd64.deb 2024-04-08 18:11 CEST 6674 KiB libcoq-interval_4.11.1-1build7_amd64.deb 2025-02-20 10:56 CET 7460 KiB libcoq-interval_4.11.1-1build11_amd64.deb 2025-09-02 10:35 CEST 7455 KiB libcoq-interval_4.11.1-1build11_arm64.deb 2025-09-02 10:36 CEST 7458 KiB libcoq-interval_4.11.1-1build16_amd64.deb 2026-03-08 18:19 CET 7457 KiB libcoq-interval_4.11.1-1build16_amd64v3.deb 2026-03-08 18:19 CET 7457 KiB libcoq-interval_4.11.1-1build16_arm64.deb 2026-03-08 18:19 CET 7459 KiB
