Index of /pub/os/linux/ubuntu/pool/universe/c/coq-interval/

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-1build12.debian.tar.xz	2025-10-23 02:05 CEST	9644 B
coq-interval_4.11.1-1build12.dsc	2025-10-23 02:05 CEST	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-1build12_amd64.deb	2025-10-26 14:29 CET	7455 KiB
libcoq-interval_4.11.1-1build12_amd64v3.deb	2025-10-26 14:30 CET	7455 KiB