coq - Debian Package Tracker

general

source: coq (main)
version: 9.2.0+dfsg-4
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Julien Puydt [DMD] – Stéphane Glondu [DMD] – Ralf Treinen [DMD]
arch: any
std-ver: 4.7.4
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 8.12.0-3
oldstable: 8.16.1+dfsg-1
stable: 8.20.1+dfsg-1
testing: 9.2.0+dfsg-3
unstable: 9.2.0+dfsg-4

versioned links

8.12.0-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.16.1+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.20.1+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
9.2.0+dfsg-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
9.2.0+dfsg-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

coq
libcoq-core
libcoq-core-ocaml
libcoq-core-ocaml-dev
rocqide

action needed

debian/patches: 1 patch with invalid metadata high

Among the 5 debian patches available in version 9.2.0+dfsg-4 of the package, we noticed the following issues:

1 patch with invalid metadata that ought to be fixed.

Created: 2026-07-28 Last update: 2026-08-25 20:30

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 2-day delay is over. Check why.

Created: 2026-08-29 Last update: 2026-08-29 15:03

AppStream hints: 1 warning for rocqide normal

AppStream found metadata issues for packages:

rocqide: 1 warning

You should get rid of them to provide more metadata about this software.

Created: 2020-01-25 Last update: 2026-07-23 05:00

testing migrations

excuses:
- Migrates after: rocq-stdlib/amd64, rocq-stdlib/arm64, rocq-stdlib/ppc64el, rocq-stdlib/riscv64, rocq-stdlib/s390x
- Migration status for coq (9.2.0+dfsg-3 to 9.2.0+dfsg-4): Will attempt migration (Any information below is purely informational)
- ∙ ∙ Implicit dependency: coq rocq-stdlib/amd64
- ∙ ∙ Implicit dependency: coq rocq-stdlib/arm64
- ∙ ∙ Implicit dependency: coq rocq-stdlib/ppc64el
- ∙ ∙ Implicit dependency: coq rocq-stdlib/riscv64
- ∙ ∙ Implicit dependency: coq rocq-stdlib/s390x
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq.html
- ∙ ∙ Autopkgtest for coq/9.2.0+dfsg-4: amd64: Pass, arm64: Pass, armhf: Pass, i386: Pass, loong64: Pass, ppc64el: Pass, riscv64: Pass
- ∙ ∙ Not reproduced on amd64 (not a regression): coq, libcoq-core-ocaml, libcoq-core-ocaml-dev
- ∙ ∙ Not reproduced on arm64 (not a regression): coq, libcoq-core-ocaml, libcoq-core-ocaml-dev
- ∙ ∙ Not reproduced on armhf (not a regression): coq, libcoq-core-ocaml, libcoq-core-ocaml-dev
- ∙ ∙ Not reproduced on i386 (not a regression): coq, libcoq-core-ocaml, libcoq-core-ocaml-dev
- ∙ ∙ Required age reduced by 3 days because of autopkgtest
- ∙ ∙ 4 days old (needed 2 days)

news

[rss feed]

[2026-08-25] Accepted coq 9.2.0+dfsg-4 (source) into unstable (Stéphane Glondu)
[2026-08-10] coq 9.2.0+dfsg-3 MIGRATED to testing (Debian testing watch)
[2026-07-27] Accepted coq 9.2.0+dfsg-3 (source amd64) into unstable (Julien Puydt)
[2026-07-21] Accepted coq 9.2.0+dfsg-2 (source amd64) into unstable (Julien Puydt)
[2026-07-10] Accepted coq 9.2.0+dfsg-1 (source amd64) into experimental (Julien Puydt)
[2025-11-11] Accepted coq 9.1.0+dfsg-3 (source amd64) into experimental (Julien Puydt)
[2025-10-29] Accepted coq 9.1.0+dfsg-2 (source amd64) into experimental (Julien Puydt)
[2025-09-21] Accepted coq 9.1.0+dfsg-1 (source amd64) into experimental (Debian FTP Masters) (signed by: Julien Puydt)
[2025-02-26] coq 8.20.1+dfsg-1 MIGRATED to testing (Debian testing watch)
[2025-02-17] Accepted coq 8.20.1+dfsg-1 (source) into unstable (Julien Puydt)
[2024-11-29] coq 8.20.0+dfsg-1 MIGRATED to testing (Debian testing watch)
[2024-11-20] Accepted coq 8.20.0+dfsg-1 (source) into unstable (Julien Puydt)
[2024-09-05] coq 8.19.1+dfsg-3 MIGRATED to testing (Debian testing watch)
[2024-08-17] coq REMOVED from testing (Debian testing watch)
[2024-08-03] Accepted coq 8.19.1+dfsg-3 (source) into unstable (Stéphane Glondu)
[2024-06-24] coq 8.19.1+dfsg-2 MIGRATED to testing (Debian testing watch)
[2024-06-15] Accepted coq 8.19.1+dfsg-2 (source) into unstable (Stéphane Glondu)
[2024-04-26] Accepted coq 8.19.1+dfsg-1 (source) into unstable (Julien Puydt)
[2024-01-23] coq 8.18.0+dfsg-1 MIGRATED to testing (Debian testing watch)
[2023-12-21] Accepted coq 8.18.0+dfsg-1 (source) into unstable (Julien Puydt)
[2023-06-24] coq 8.17.0+dfsg-1 MIGRATED to testing (Debian testing watch)
[2023-06-12] Accepted coq 8.17.0+dfsg-1 (source) into unstable (Julien Puydt)
[2022-12-02] coq 8.16.1+dfsg-1 MIGRATED to testing (Debian testing watch)
[2022-12-02] coq 8.16.1+dfsg-1 MIGRATED to testing (Debian testing watch)
[2022-11-29] Accepted coq 8.16.1+dfsg-1 (source) into unstable (Julien Puydt)
[2022-09-17] coq 8.16.0+dfsg-1 MIGRATED to testing (Debian testing watch)
[2022-09-06] Accepted coq 8.16.0+dfsg-1 (source) into unstable (Julien Puydt)
[2022-07-10] coq 8.15.2+dfsg-2 MIGRATED to testing (Debian testing watch)
[2022-06-11] Accepted coq 8.15.2+dfsg-2 (source) into unstable (Julien Puydt)
[2022-05-31] Accepted coq 8.15.2+dfsg-1 (source) into unstable (Julien Puydt)

bugs [bug history graph]

all: 2
RC: 0
I&N: 1
M&W: 1
F&P: 0
patch: 0

links

homepage
lintian
buildd: logs, reproducibility, cross
popcon
browse source code
other distros
debian patches
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 8.20.1+dfsg-1build4