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.0-2build5.debian.tar.xz	2024-09-17 18:56 CEST	9504 B
coq-interval_4.11.0-2build5.dsc	2024-09-17 18:56 CEST	2193 B
coq-interval_4.11.0.orig.tar.bz2	2024-06-08 19:43 CEST	295 KiB
coq-interval_4.11.1-1build2.debian.tar.xz	2024-12-20 20:01 CET	9448 B
coq-interval_4.11.1-1build2.dsc	2024-12-20 20:01 CET	2190 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.0-2build5_amd64.deb	2024-09-20 03:35 CEST	7489 KiB
libcoq-interval_4.11.1-1build2_amd64.deb	2024-12-20 20:01 CET	7458 KiB