general
- source
- coq-elpi (optional, misc)
- version
- 2.1.0-1
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
todo
- Lintian reports 6 errors and 5 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning about this package.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
- A new upstream version is available: 2.1.1, you should consider packaging it.
testing migration
excuses:- Migration status for coq-elpi (1.14.0-5 to 1.15.6-1): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- Waiting for piuparts test results (stalls migration) - https://piuparts.debian.org/sid/source/c/coq-elpi.html
- Too young, only 0 of 5 days old
- Depends: coq-elpi coq
- Implicit dependency: coq-elpi coq-hierarchy-builder
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/amd64
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/arm64
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/armhf
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/i386
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/ppc64el
- Implicit dependency: coq-elpi mathcomp-analysis
news RSS
- [2024-04-27] Accepted 2.1.0-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq-elpi 1.19.3-2 MIGRATED to testing (Britney)
- [2024-01-03] Accepted 1.19.3-2 in unstable (medium) (Debian FTP Masters)
- [2023-12-22] Accepted 1.19.3-1 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq-elpi 1.17.1-1 MIGRATED to testing (Britney)
- [2023-06-12] Accepted 1.17.1-1 in unstable (medium) (Debian FTP Masters)
- [2023-01-31] coq-elpi 1.16.0-2 MIGRATED to testing (Britney)
- [2023-01-25] Accepted 1.16.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-11-26] coq-elpi 1.16.0-1 MIGRATED to testing (Britney)
- [2022-11-20] Accepted 1.16.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-11-19] coq-elpi 1.15.6-4 MIGRATED to testing (Britney)
- [2022-11-13] Accepted 1.15.6-4 in unstable (medium) (Debian FTP Masters)
- [2022-10-25] Accepted 1.15.6-2 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq-elpi 1.15.6-1 MIGRATED to testing (Britney)
- [2022-09-11] Accepted 1.15.6-1 in unstable (medium) (Debian FTP Masters)
- [2022-09-06] Accepted 1.15.5-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-10] coq-elpi 1.14.0-5 MIGRATED to testing (Britney)
- [2022-06-12] Accepted 1.14.0-5 in unstable (medium) (Debian FTP Masters)
- [2022-06-12] Accepted 1.14.0-4 in unstable (medium) (Debian FTP Masters)
- [2022-06-01] Accepted 1.14.0-3 in unstable (medium) (Debian FTP Masters)
- [2022-05-21] Accepted 1.14.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-05-14] Accepted 1.14.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-04-22] coq-elpi 1.13.0-7 MIGRATED to testing (Britney)
- [2022-04-17] Accepted 1.13.0-7 in unstable (medium) (Debian FTP Masters)
- [2022-04-16] Accepted 1.13.0-6 in unstable (medium) (Debian FTP Masters)
- [2022-04-13] Accepted 1.13.0-5 in unstable (medium) (Debian FTP Masters)
- [2022-04-11] Accepted 1.13.0-4 in unstable (medium) (Debian FTP Masters)
- [2022-04-01] Accepted 1.13.0-3 in unstable (medium) (Debian FTP Masters)
- [2022-03-23] Accepted 1.13.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-02-16] coq-elpi 1.13.0-1 MIGRATED to testing (Britney)
links
- homepage
- changelog / copyright
- buildd: logs, checks, clang
- debcheck: unstable testing stable
- lintian (6, 5)
- popcon
- debtags
- screenshots
-
RDF meta-data
- browse source code