| 📂 Parent Directory | | |
| 📄 coq-simple-io_1.11.0-1.debian.tar.xz | 2025-03-18 12:33:51 | 2.61 KB |
| 📄 coq-simple-io_1.11.0-1.dsc | 2025-03-18 12:33:51 | 2.13 KB |
| 📄 coq-simple-io_1.11.0-3.debian.tar.xz | 2025-11-11 18:46:04 | 2.75 KB |
| 📄 coq-simple-io_1.11.0-3.dsc | 2025-11-11 18:46:04 | 2.14 KB |
| 📄 coq-simple-io_1.11.0.orig.tar.gz | 2025-03-18 12:33:51 | 34.66 KB |
| 📄 coq-simple-io_1.8.0-2.debian.tar.xz | 2023-01-26 12:44:51 | 2.01 KB |
| 📄 coq-simple-io_1.8.0-2.dsc | 2023-01-26 12:44:51 | 2.1 KB |
| 📄 coq-simple-io_1.8.0.orig.tar.gz | 2022-09-25 16:20:57 | 32.17 KB |
| 📄 libcoq-simple-io_1.11.0-1+b1_amd64.deb | 2025-06-15 11:15:14 | 267.12 KB |
| 📄 libcoq-simple-io_1.11.0-1+b1_arm64.deb | 2025-06-15 11:15:15 | 268.77 KB |
| 📄 libcoq-simple-io_1.11.0-1+b1_ppc64el.deb | 2025-06-15 11:00:08 | 268.91 KB |
| 📄 libcoq-simple-io_1.11.0-1+b1_riscv64.deb | 2025-06-15 11:35:29 | 277.21 KB |
| 📄 libcoq-simple-io_1.11.0-1+b1_s390x.deb | 2025-06-17 08:41:43 | 265.94 KB |
| 📄 libcoq-simple-io_1.11.0-1+b2_ppc64el.deb | 2025-12-28 04:50:41 | 218.56 KB |
| 📄 libcoq-simple-io_1.11.0-1+b2_riscv64.deb | 2025-12-28 06:27:28 | 226.76 KB |
| 📄 libcoq-simple-io_1.11.0-1+b2_s390x.deb | 2025-12-28 05:10:54 | 216.62 KB |
| 📄 libcoq-simple-io_1.11.0-1+b3_amd64.deb | 2026-02-12 15:24:16 | 216.94 KB |
| 📄 libcoq-simple-io_1.11.0-1+b3_arm64.deb | 2026-02-12 15:24:20 | 219.45 KB |
| 📄 libcoq-simple-io_1.11.0-3+b1_amd64.deb | 2026-02-15 15:07:39 | 220.86 KB |
| 📄 libcoq-simple-io_1.11.0-3_arm64.deb | 2026-02-11 10:20:50 | 223.24 KB |
| 📄 libcoq-simple-io_1.11.0-3_armhf.deb | 2026-02-11 10:41:24 | 188.3 KB |
| 📄 libcoq-simple-io_1.11.0-3_i386.deb | 2026-02-15 16:03:31 | 188.27 KB |
| 📄 libcoq-simple-io_1.11.0-3_ppc64el.deb | 2026-02-11 10:20:52 | 222.48 KB |
| 📄 libcoq-simple-io_1.11.0-3_riscv64.deb | 2026-02-15 08:16:17 | 230.13 KB |
| 📄 libcoq-simple-io_1.11.0-3_s390x.deb | 2026-02-14 04:54:24 | 220.51 KB |
| 📄 libcoq-simple-io_1.8.0-2+b1_amd64.deb | 2023-02-13 07:28:57 | 87.61 KB |
| 📄 libcoq-simple-io_1.8.0-2+b1_arm64.deb | 2023-02-13 07:28:53 | 89.95 KB |
| 📄 libcoq-simple-io_1.8.0-2+b1_armhf.deb | 2023-02-13 07:28:50 | 86.41 KB |
| 📄 libcoq-simple-io_1.8.0-2+b1_i386.deb | 2023-02-13 07:44:17 | 85.93 KB |
| 📄 libcoq-simple-io_1.8.0-2+b1_ppc64el.deb | 2023-02-14 11:27:28 | 88.13 KB |
| 📄 libcoq-simple-io_1.8.0-2+b1_s390x.deb | 2023-02-13 07:34:00 | 87.59 KB |
