| ⬆️Parent directory | — | — |
| 📦coq-simple-io_1.11.0-1.debian.tar.xz | 2.62K | Tue Mar 18 2025 |
| 📄coq-simple-io_1.11.0-1.dsc | 2.14K | Tue Mar 18 2025 |
| 📦coq-simple-io_1.11.0-5.debian.tar.xz | 4.53K | Tue Jul 28 2026 |
| 📄coq-simple-io_1.11.0-5.dsc | 2.15K | Tue Jul 28 2026 |
| 📦coq-simple-io_1.11.0.orig.tar.gz | 34.7K | Tue Mar 18 2025 |
| 📦coq-simple-io_1.8.0-2.debian.tar.xz | 2.01K | Thu Jan 26 2023 |
| 📄coq-simple-io_1.8.0-2.dsc | 2.11K | Thu Jan 26 2023 |
| 📦coq-simple-io_1.8.0.orig.tar.gz | 32.2K | Sun Sep 25 2022 |
| 📦libcoq-simple-io_1.11.0-1+b1_amd64.deb | 268K | Sun Jun 15 2025 |
| 📦libcoq-simple-io_1.11.0-5+b2_amd64.deb | 221K | Wed Aug 26 2026 |
| 📦libcoq-simple-io_1.11.0-5_i386.deb | 189K | Tue Jul 28 2026 |
| 📦libcoq-simple-io_1.8.0-2+b1_amd64.deb | 87.7K | Mon Feb 13 2023 |
| 📦libcoq-simple-io_1.8.0-2+b1_i386.deb | 86K | Mon Feb 13 2023 |