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

Filename	Modification time	Size
coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz	2024-04-08 09:57 CEST	3328 B
coq-simple-io_1.8.0-4ubuntu4.dsc	2024-04-08 09:57 CEST	2233 B
coq-simple-io_1.8.0.orig.tar.gz	2022-11-05 15:08 CET	32 KiB
coq-simple-io_1.10.0-1build6.debian.tar.xz	2025-02-19 08:52 CET	2864 B
coq-simple-io_1.10.0-1build6.dsc	2025-02-19 08:52 CET	2169 B
coq-simple-io_1.10.0.orig.tar.gz	2024-11-20 19:47 CET	34 KiB
coq-simple-io_1.11.0-1build1.debian.tar.xz	2025-06-20 15:22 CEST	2752 B
coq-simple-io_1.11.0-1build1.dsc	2025-06-20 15:22 CEST	2169 B
coq-simple-io_1.11.0-1build4.debian.tar.xz	2026-03-04 18:33 CET	2840 B
coq-simple-io_1.11.0-1build4.dsc	2026-03-04 18:33 CET	2169 B
coq-simple-io_1.11.0-1build6.debian.tar.xz	2026-07-15 13:07 CEST	2868 B
coq-simple-io_1.11.0-1build6.dsc	2026-07-15 13:07 CEST	2169 B
coq-simple-io_1.11.0.orig.tar.gz	2025-05-01 18:23 CEST	35 KiB
libcoq-simple-io_1.8.0-4ubuntu4_amd64.deb	2024-04-08 12:59 CEST	96 KiB
libcoq-simple-io_1.10.0-1build6_amd64.deb	2025-02-19 08:53 CET	267 KiB
libcoq-simple-io_1.11.0-1build1_amd64.deb	2025-06-20 19:40 CEST	277 KiB
libcoq-simple-io_1.11.0-1build1_arm64.deb	2025-06-20 19:40 CEST	280 KiB
libcoq-simple-io_1.11.0-1build4_amd64.deb	2026-03-04 18:34 CET	244 KiB
libcoq-simple-io_1.11.0-1build4_amd64v3.deb	2026-03-04 18:34 CET	244 KiB
libcoq-simple-io_1.11.0-1build4_arm64.deb	2026-03-04 18:34 CET	249 KiB
libcoq-simple-io_1.11.0-1build6_amd64.deb	2026-07-18 13:35 CEST	244 KiB
libcoq-simple-io_1.11.0-1build6_amd64v3.deb	2026-07-15 23:02 CEST	244 KiB