| ⬆️Parent directory | — | — |
| 📦coq-gappa_1.11.0-1.debian.tar.xz | 3.56K | Tue Aug 04 2026 |
| 📄coq-gappa_1.11.0-1.dsc | 2.09K | Tue Aug 04 2026 |
| 📦coq-gappa_1.11.0.orig.tar.gz | 90.7K | Tue Aug 04 2026 |
| 📦coq-gappa_1.5.2-5.debian.tar.xz | 1.97K | Thu Jan 26 2023 |
| 📄coq-gappa_1.5.2-5.dsc | 2.03K | Thu Jan 26 2023 |
| 📦coq-gappa_1.5.2.orig.tar.bz2 | 71.9K | Tue Jul 19 2022 |
| 📦coq-gappa_1.7.0-1.debian.tar.xz | 2.16K | Thu Feb 20 2025 |
| 📄coq-gappa_1.7.0-1.dsc | 2.05K | Thu Feb 20 2025 |
| 📦coq-gappa_1.7.0.orig.tar.bz2 | 74.7K | Thu Feb 20 2025 |
| 📦libcoq-gappa_1.11.0-1+b1_amd64.deb | 610K | Wed Aug 26 2026 |
| 📦libcoq-gappa_1.5.2-5+b1_amd64.deb | 504K | Mon Feb 13 2023 |
| 📦libcoq-gappa_1.5.2-5+b1_i386.deb | 501K | Mon Feb 13 2023 |
| 📦libcoq-gappa_1.7.0-1+b1_amd64.deb | 538K | Sun Jun 15 2025 |