| ⬆️Parent directory | — | — |
| 📦coq-ext-lib_0.11.7-2.debian.tar.xz | 1.99K | Wed Jan 25 2023 |
| 📄coq-ext-lib_0.11.7-2.dsc | 2.05K | Wed Jan 25 2023 |
| 📦coq-ext-lib_0.11.7.orig.tar.gz | 81.1K | Sun Aug 14 2022 |
| 📦coq-ext-lib_0.13.0-1.debian.tar.xz | 2.32K | Fri Jan 10 2025 |
| 📄coq-ext-lib_0.13.0-1.dsc | 2.06K | Fri Jan 10 2025 |
| 📦coq-ext-lib_0.13.0.orig.tar.gz | 83.4K | Fri Jan 10 2025 |
| 📦coq-ext-lib_0.13.1-2.debian.tar.xz | 2.47K | Tue Jul 28 2026 |
| 📄coq-ext-lib_0.13.1-2.dsc | 2.06K | Tue Jul 28 2026 |
| 📦coq-ext-lib_0.13.1.orig.tar.gz | 83.6K | Fri Jul 10 2026 |
| 📦libcoq-ext-lib_0.11.7-2+b1_amd64.deb | 741K | Mon Feb 13 2023 |
| 📦libcoq-ext-lib_0.11.7-2+b1_i386.deb | 740K | Mon Feb 13 2023 |
| 📦libcoq-ext-lib_0.13.0-1+b4_amd64.deb | 745K | Sun Jun 15 2025 |
| 📦libcoq-ext-lib_0.13.1-2+b2_amd64.deb | 755K | Wed Aug 26 2026 |
| 📦libcoq-ext-lib_0.13.1-2_i386.deb | 753K | Tue Jul 28 2026 |