File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-simple-io_1.8.0.orig.tar.gz	32.2 KiB	2022-11-05 17:08
coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz	3.3 KiB	2024-04-08 10:57
coq-simple-io_1.8.0-4ubuntu4.dsc	2.2 KiB	2024-04-08 10:57
libcoq-simple-io_1.8.0-4ubuntu4_amd64.deb	95.8 KiB	2024-04-08 13:59
coq-simple-io_1.10.0.orig.tar.gz	33.6 KiB	2024-11-20 21:47
coq-simple-io_1.10.0-1build6.debian.tar.xz	2.8 KiB	2025-02-19 10:52
coq-simple-io_1.10.0-1build6.dsc	2.1 KiB	2025-02-19 10:52
libcoq-simple-io_1.10.0-1build6_amd64.deb	267.0 KiB	2025-02-19 10:53
coq-simple-io_1.11.0.orig.tar.gz	34.7 KiB	2025-05-01 19:23
coq-simple-io_1.11.0-1build1.dsc	2.1 KiB	2025-06-20 16:22
coq-simple-io_1.11.0-1build1.debian.tar.xz	2.7 KiB	2025-06-20 16:22
libcoq-simple-io_1.11.0-1build1_amd64.deb	276.8 KiB	2025-06-20 20:40
libcoq-simple-io_1.11.0-1build1_arm64.deb	279.9 KiB	2025-06-20 20:40
coq-simple-io_1.11.0-1build4.dsc	2.1 KiB	2026-03-04 20:33
coq-simple-io_1.11.0-1build4.debian.tar.xz	2.8 KiB	2026-03-04 20:33
libcoq-simple-io_1.11.0-1build4_amd64.deb	244.2 KiB	2026-03-04 20:34
libcoq-simple-io_1.11.0-1build4_amd64v3.deb	244.2 KiB	2026-03-04 20:34
libcoq-simple-io_1.11.0-1build4_arm64.deb	248.9 KiB	2026-03-04 20:34