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-1build14.debian.tar.xz 2026-01-05 00:06 CET 9668 B coq-interval_4.11.1-1build14.dsc 2026-01-05 00:06 CET 2194 B coq-interval_4.11.1-1build15.debian.tar.xz 2026-01-28 09:18 CET 9680 B coq-interval_4.11.1-1build15.dsc 2026-01-28 09:18 CET 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 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-1build14_amd64.deb 2026-01-06 09:32 CET 7456 KiB libcoq-interval_4.11.1-1build14_amd64v3.deb 2026-01-06 09:32 CET 7456 KiB libcoq-interval_4.11.1-1build15_amd64.deb 2026-01-31 20:31 CET 7456 KiB libcoq-interval_4.11.1-1build15_amd64v3.deb 2026-01-31 20:31 CET 7456 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
