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

Filename	Modification time	Size
coq-interval_4.6.1-2build3.debian.tar.xz	2023-02-17 08:29 CET	8864 B
coq-interval_4.6.1-2build3.dsc	2023-02-17 08:29 CET	2186 B
coq-interval_4.6.1.orig.tar.bz2	2022-12-13 18:19 CET	253 KiB
coq-interval_4.8.0-1.debian.tar.xz	2023-08-03 19:59 CEST	8848 B
coq-interval_4.8.0-1.dsc	2023-08-03 19:59 CEST	2187 B
coq-interval_4.8.0.orig.tar.bz2	2023-08-03 19:59 CEST	275 KiB
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.10.0-1build3.debian.tar.xz	2024-05-21 13:24 CEST	9304 B
coq-interval_4.10.0-1build3.dsc	2024-05-21 13:24 CEST	2193 B
coq-interval_4.10.0.orig.tar.bz2	2024-05-02 13:53 CEST	293 KiB
libcoq-interval_4.6.1-2build3_amd64.deb	2023-02-17 08:29 CET	5296 KiB
libcoq-interval_4.8.0-1_amd64.deb	2023-08-03 19:59 CEST	6617 KiB
libcoq-interval_4.9.0-1build5_amd64.deb	2024-04-08 18:11 CEST	6674 KiB
libcoq-interval_4.10.0-1build3_amd64.deb	2024-05-21 17:48 CEST	7617 KiB