| ⬆️Parent directory | — | — |
| 📦coq-corn_8.16.0-2.debian.tar.xz | 3.78K | Fri Jan 27 2023 |
| 📄coq-corn_8.16.0-2.dsc | 2.05K | Fri Jan 27 2023 |
| 📦coq-corn_8.16.0.orig.tar.gz | 1.26M | Tue Sep 06 2022 |
| 📦coq-corn_8.20.0-1.debian.tar.xz | 4.2K | Mon Feb 17 2025 |
| 📄coq-corn_8.20.0-1.dsc | 2.07K | Mon Feb 17 2025 |
| 📦coq-corn_8.20.0.orig.tar.gz | 1.26M | Mon Feb 17 2025 |
| 📦coq-corn_9.0.0-2.debian.tar.xz | 4.35K | Wed Nov 12 2025 |
| 📄coq-corn_9.0.0-2.dsc | 2.07K | Wed Nov 12 2025 |
| 📦coq-corn_9.0.0.orig.tar.gz | 1.27M | Wed Oct 29 2025 |
| 📦libcoq-corn_8.16.0-2+b1_amd64.deb | 10.8M | Tue Feb 14 2023 |
| 📦libcoq-corn_8.16.0-2+b1_i386.deb | 10.8M | Tue Feb 14 2023 |
| 📦libcoq-corn_8.20.0-1+b14_amd64.deb | 12.8M | Sat Feb 14 2026 |
| 📦libcoq-corn_8.20.0-1+b4_amd64.deb | 12.8M | Tue Jun 17 2025 |
| 📦libcoq-corn_9.0.0-2+b1_amd64.deb | 13M | Sun Feb 15 2026 |