| ⬆️Parent directory | — | — |
| 📦coq-elpi_1.16.0-2.debian.tar.xz | 3.34K | Wed Jan 25 2023 |
| 📄coq-elpi_1.16.0-2.dsc | 1.99K | Wed Jan 25 2023 |
| 📦coq-elpi_1.16.0.orig.tar.gz | 417K | Sun Nov 20 2022 |
| 📦coq-elpi_2.5.0-1.1.debian.tar.xz | 3.81K | Tue Jun 17 2025 |
| 📄coq-elpi_2.5.0-1.1.dsc | 2.01K | Tue Jun 17 2025 |
| 📦coq-elpi_2.5.0.orig.tar.gz | 729K | Tue Mar 18 2025 |
| 📦coq-elpi_3.5.0-3.debian.tar.xz | 5.58K | Tue Aug 11 2026 |
| 📄coq-elpi_3.5.0-3.dsc | 2.1K | Tue Aug 11 2026 |
| 📦coq-elpi_3.5.0.orig.tar.gz | 1.09M | Tue Jul 28 2026 |
| 📦coq-elpi_3.5.1-1.debian.tar.xz | 7.31K | Mon Oct 26 2026 |
| 📄coq-elpi_3.5.1-1.dsc | 1.86K | Mon Oct 26 2026 |
| 📦coq-elpi_3.5.1.orig.tar.gz | 1.1M | Mon Oct 26 2026 |
| 📦libcoq-elpi_1.16.0-2+b1_amd64.deb | 2.32M | Tue Feb 14 2023 |
| 📦libcoq-elpi_1.16.0-2+b1_i386.deb | 2.25M | Tue Feb 14 2023 |
| 📦libcoq-elpi_2.5.0-1.1_amd64.deb | 11.8M | Tue Jun 17 2025 |
| 📦libcoq-elpi_3.5.0-3+b4_amd64.deb | 12.3M | Fri Oct 16 2026 |
| 📦libcoq-elpi_3.5.1-1_amd64.deb | 12.5M | Mon Oct 26 2026 |