general
- source
- coq (source, math)
- version
- 8.19.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.2
- VCS
- Git (browse)
versions
- o-o-stable
-
8.9.0-1
- oldstable
-
8.12.0-3
- stable
-
8.16.1+dfsg-1
- testing
-
8.18.0+dfsg-1
- unstable
-
8.19.1+dfsg-1
- Ubuntu
- 8.19.1+dfsg-1
todo
- Lintian reports 22 warnings about this package. You should make the package lintian clean getting rid of them.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
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
- [2024-04-26] Accepted 8.19.1+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] coq 8.18.0+dfsg-1 MIGRATED to testing (Britney)
- [2023-12-21] Accepted 8.18.0+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] coq 8.17.0+dfsg-1 MIGRATED to testing (Britney)
- [2023-06-12] Accepted 8.17.0+dfsg-1 in unstable (medium) (Debian FTP Masters)
- [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)
