general
- source
- coq (source, math)
- version
- 8.16.1+dfsg-1
- maint
- Debian OCaml Maintainers (a), Benjamin Barenblat (u), Julien Puydt (u), Ralf Treinen (u), Stéphane Glondu (u)
- std-ver
- 4.6.1
- VCS
- Git (browse)
versions
- o-o-stable
-
8.6-4
- oldstable
-
8.9.0-1
- stable
-
8.12.0-3
- testing
-
8.16.0+dfsg-1
- unstable
-
8.16.1+dfsg-1
- Ubuntu
- 8.14.1+dfsg-1
todo
- Lintian reports 139 errors and 617 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning about this package.
- This package has "Build-Depends: dh-exec" while dh-exec needs a new maintainer, see O #851746.
problems
- The package has not yet entered testing even though the 2-day delay is over. Check why.
- This package has been requested to be removed. This means that, when this request gets processed by an ftp-master, this package will no longer be in unstable, and will automatically be removed from testing too afterwards. If for some reason you want keep this package in unstable, please discuss so in the bug. Please see bug number #1001493 for more information.
testing migration
excuses:- Migration status for coq (- to 8.14.1+dfsg-1): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- missing build on armel
- missing build on mips64el
- missing build on mipsel
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq.html
- autopkgtest for coq/8.14.1+dfsg-1: amd64: Pass, arm64: Pass, armhf: Pass, i386: Pass, ppc64el: Pass
- Required age reduced by 3 days because of autopkgtest
- 5 days old (needed 2 days)
news RSS
- [2022-12-02] coq 8.16.1+dfsg-1 MIGRATED to testing (Britney)
- [2022-11-29] Accepted 8.16.1+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] coq 8.16.0+dfsg-1 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 8.16.0+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-10] coq 8.15.2+dfsg-2 MIGRATED to testing (Britney)
- [2022-06-11] Accepted 8.15.2+dfsg-2 in unstable (medium) (Debian FTP Masters)
- [2022-05-31] Accepted 8.15.2+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2022-05-20] Accepted 8.15.1+dfsg-2 in unstable (medium) (Debian FTP Masters)
- [2022-04-22] coq 8.15.1+dfsg-1 MIGRATED to testing (Britney)
- [2022-03-22] Accepted 8.15.1+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2022-02-09] coq 8.15.0+dfsg-2 MIGRATED to testing (Britney)
- [2022-02-05] Accepted 8.15.0+dfsg-2 in unstable (medium) (Debian FTP Masters)
- [2022-02-03] coq 8.15.0+dfsg-1 MIGRATED to testing (Britney)
- [2022-01-17] Accepted 8.15.0+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2022-01-17] Accepted 8.14.1+dfsg-2 in unstable (medium) (Debian FTP Masters)
- [2022-01-11] coq 8.14.1+dfsg-1 MIGRATED to testing (Britney)
- [2021-12-11] Accepted 8.14.1+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2021-11-27] coq REMOVED from testing (Britney)
- [2021-11-16] Accepted 8.14.0+dfsg-6 in unstable (medium) (Debian FTP Masters)
- [2021-11-16] Accepted 8.14.0+dfsg-5 in unstable (medium) (Debian FTP Masters)
- [2021-11-15] Accepted 8.14.0+dfsg-4 in unstable (medium) (Debian FTP Masters)
- [2021-11-13] Accepted 8.14.0+dfsg-3 in unstable (medium) (Debian FTP Masters)
- [2021-11-11] Accepted 8.14.0+dfsg-2 in experimental (medium) (Debian FTP Masters)
- [2021-11-08] Accepted 8.14.0+dfsg-1 in experimental (medium) (Debian FTP Masters)
- [2020-09-30] coq 8.12.0-3 MIGRATED to testing (Britney)
- [2020-09-10] Accepted 8.12.0-3 in unstable (medium) (Debian FTP Masters)
- [2020-09-06] Accepted 8.12.0-2 in experimental (medium) (Debian FTP Masters)
- [2020-08-22] Accepted 8.12.0-1 in experimental (medium) (Debian FTP Masters)
- [2020-04-16] Accepted 8.11.1~pre1-1 in experimental (medium) (Debian FTP Masters)
- [2020-03-24] coq 8.11.0-1 MIGRATED to testing (Britney)
