Debian Package Tracker

general

source: coq (main)
version: 8.8.2-1
maintainer: Debian OCaml Maintainers (archive) [DMD]
uploaders: Benjamin Barenblat [DMD] – Ralf Treinen [DMD] – Enrico Tassi [DMD] – Stéphane Glondu [DMD] – Samuel Mimram [DMD]
arch: any
std-ver: 4.3.0
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.3.pl4+dfsg-2
oldstable: 8.4pl4dfsg-1
stable: 8.6-4
testing: 8.6-5
unstable: 8.8.2-1

versioned links

8.3.pl4+dfsg-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.4pl4dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.6-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.6-5: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
8.8.2-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

coq
coq-theories
libcoq-ocaml
libcoq-ocaml-dev

action needed

Marked for autoremoval on 06 February: #916369 high

Version 8.6-5 of coq is marked for autoremoval from testing on Wed 06 Feb 2019. It is affected by #916369. The removal of coq will also cause the removal of (transitive) reverse dependencies: aac-tactics, ssreflect, why, why3. You should try to prevent the removal by fixing these RC bugs.

Created: 2018-12-20 Last update: 2019-01-17 21:17

lintian reports 218 errors and 1011 warnings high

Lintian reports 218 errors and 1011 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2015-03-04 Last update: 2019-01-12 05:39

1 bug tagged patch in the BTS normal

The BTS contains patches fixing 1 bug, consider including or untagging them.

Created: 2018-10-01 Last update: 2019-01-18 00:01

Does not build reproducibly during testing normal

A package building reproducibly enables third parties to verify that the source matches the distributed binaries. It has been identified that this source package produced different results, failed to build or had other issues in a test environment. Please read about how to improve the situation!

Created: 2018-09-11 Last update: 2019-01-17 23:42

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

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

Created: 2019-01-12 Last update: 2019-01-17 21:05

Depends on packages which need a new maintainer normal

The packages that coq depends on which need a new maintainer are:

dh-exec (#851746)
- Build-Depends: dh-exec

Created: 2019-01-07 Last update: 2019-01-17 19:31

Build log checks report 1 warning low

Build log checks report 1 warning

Created: 2017-10-26 Last update: 2017-10-26 07:22

testing migrations

excuses:
- 11 days old (5 needed)
- missing build on armel: coq, coq-theories, coqide, libcoq-ocaml, libcoq-ocaml-dev (from 8.6-5)
- missing build on mips: coq, coq-theories, coqide, libcoq-ocaml, libcoq-ocaml-dev (from 8.6-5)
- missing build on mips64el: coq, coq-theories, coqide, libcoq-ocaml, libcoq-ocaml-dev (from 8.6-5)
- missing build on mipsel: coq, coq-theories, coqide, libcoq-ocaml, libcoq-ocaml-dev (from 8.6-5)
- Updating coq introduces new bugs: #919462
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq.html
- Not considered

news

[rss feed]

[2019-01-07] Accepted coq 8.8.2-1 (source amd64) into unstable (Benjamin Barenblat)
[2018-01-03] coq 8.6-5 MIGRATED to testing (Debian testing watch)
[2017-09-26] Accepted coq 8.6-5 (source amd64) into unstable (Stéphane Glondu)
[2017-01-14] coq 8.6-4 MIGRATED to testing (Debian testing watch)
[2016-12-30] Accepted coq 8.6-4 (source amd64) into unstable (Enrico Tassi)
[2016-12-29] Accepted coq 8.6-3 (source amd64) into unstable (Enrico Tassi)
[2016-12-28] Accepted coq 8.6-2 (source amd64) into unstable (Enrico Tassi)
[2016-12-28] Accepted coq 8.6-1 (source amd64) into unstable (Enrico Tassi)
[2016-06-02] coq 8.5-2 MIGRATED to testing (Debian testing watch)
[2016-01-28] Accepted coq 8.5-2 (source amd64) into unstable (Enrico Tassi)
[2016-01-26] Accepted coq 8.5-1 (source amd64) into unstable (Enrico Tassi)
[2015-11-14] Accepted coq 8.5~beta3+dfsg-2 (source amd64) into experimental (Enrico Tassi)
[2015-11-14] Accepted coq 8.5~beta3+dfsg-1 (source amd64) into experimental (Enrico Tassi)
[2015-11-01] coq 8.4pl4dfsg-3 MIGRATED to testing (Britney)
[2015-10-22] Accepted coq 8.4pl4dfsg-3 (source all amd64) into unstable (Stéphane Glondu)
[2015-10-13] Accepted coq 8.4pl4dfsg-2 (source all amd64) into unstable (Stéphane Glondu)
[2015-07-20] Accepted coq 8.5~beta2+dfsg-2 (source amd64) into experimental (Enrico Tassi)
[2015-07-16] Accepted coq 8.5~beta2+dfsg-1 (source amd64) into experimental (Enrico Tassi)
[2014-08-11] coq 8.4pl4dfsg-1 MIGRATED to testing (Britney)
[2014-07-27] Accepted coq 8.4pl4dfsg-1 (source amd64 all) (Stéphane Glondu)
[2014-01-26] coq 8.4pl3dfsg-1 MIGRATED to testing (Debian testing watch)
[2014-01-19] Accepted coq 8.4pl3dfsg-1 (source amd64 all) (Stéphane Glondu)
[2013-12-12] coq 8.4pl2dfsg-4 MIGRATED to testing (Debian testing watch)
[2013-12-03] Accepted coq 8.4pl2dfsg-4 (source amd64 all) (Stéphane Glondu)
[2013-11-22] Accepted coq 8.4pl2dfsg-3 (source hurd-i386 all) (Stéphane Glondu)
[2013-07-26] Accepted coq 8.4pl2dfsg-2 (source amd64 all) (Stéphane Glondu)
[2013-05-25] coq 8.4pl2dfsg-1 MIGRATED to testing (Debian testing watch)
[2013-05-08] Accepted coq 8.4pl2dfsg-1 (source amd64 all) (Stéphane Glondu)
[2012-12-29] Accepted coq 8.4pl1dfsg-1 (source amd64 all) (Stéphane Glondu)
[2012-09-22] Accepted coq 8.4dfsg-2 (source amd64 all) (Stéphane Glondu)

bugs [bug history graph]

all: 9 11
RC: 1
I&N: 3 5
M&W: 5
F&P: 0
patch: 1

links

homepage
lintian (218, 1011)
buildd: logs, checks, clang, reproducibility
popcon
browse source code
edit tags
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 8.6-5build1
2 bugs