Debian Package Tracker
Register | Log in
Subscribe

coq

proof assistant for higher-order logic (toplevel and compiler)

Choose email to subscribe with

general
  • source: coq (main)
  • version: 8.17.0+dfsg-1
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Ralf Treinen [DMD] – Stéphane Glondu [DMD] – Benjamin Barenblat [DMD] – Julien Puydt [DMD]
  • arch: any
  • std-ver: 4.6.2
  • 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.9.0-1
  • oldstable: 8.12.0-3
  • stable: 8.16.1+dfsg-1
  • testing: 8.17.0+dfsg-1
  • unstable: 8.17.0+dfsg-1
versioned links
  • 8.9.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 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.17.0+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • coq
  • coqide
  • libcoq-core-ocaml
  • libcoq-core-ocaml-dev
  • libcoq-stdlib
action needed
source package has 7 unsatisfiable build dependencies high
  • Build dependencies in unstable cannot be satisfied on armhf because: unsatisfied dependency on libcompiler-libs-ocaml-dev-j2p38
  • Build dependencies in unstable cannot be satisfied on ppc64el because: unsatisfied dependency on libcompiler-libs-ocaml-dev-25773
  • Build dependencies in unstable cannot be satisfied on mips64el and armel because: unsatisfied dependency on ocaml-native-compilers
  • Build dependencies in unstable cannot be satisfied on s390x because: unsatisfied dependency on libcompiler-libs-ocaml-dev-bq8y3
  • Build dependencies in unstable cannot be satisfied on arm64 because: unsatisfied dependency on libcompiler-libs-ocaml-dev-v4gu1
  • Build dependencies in unstable cannot be satisfied on amd64 because: unsatisfied dependency on libcompiler-libs-ocaml-dev-1cen8
  • Build dependencies in unstable cannot be satisfied on i386 because: unsatisfied dependency on libcompiler-libs-ocaml-dev-ml2b4
Created: 2023-09-21 Last update: 2023-09-21 15:36
24 binary packages have unsatisfiable dependencies high
  • The dependencies of libcoq-core-ocaml-dev=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on armhf because: unsatisfied dependency on libfindlib-ocaml-3yei3
  • The dependencies of coqide=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libfindlib-ocaml-0thr1
  • The dependencies of libcoq-core-ocaml-dev=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on libfindlib-ocaml-9bk70
  • The dependencies of coqide=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on i386 because: unsatisfied dependency on libfindlib-ocaml-85sc9
  • The dependencies of libcoq-core-ocaml=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on libfindlib-ocaml-9bk70
  • The dependencies of coqide=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on armhf because: unsatisfied dependency on libfindlib-ocaml-3yei3
  • The dependencies of libcoq-core-ocaml=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on armhf because: unsatisfied dependency on libfindlib-ocaml-3yei3
  • The dependencies of libcoq-core-ocaml-dev=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on libfindlib-ocaml-unji9
  • The dependencies of coqide=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on libfindlib-ocaml-unji9
  • The dependencies of coqide=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on libfindlib-ocaml-9bk70
  • The dependencies of libcoq-core-ocaml=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libfindlib-ocaml-0thr1
  • The dependencies of coq=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libfindlib-ocaml-dhcd7
  • The dependencies of coq=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on armhf because: unsatisfied dependency on libfindlib-ocaml-3yei3
  • The dependencies of coq=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on libfindlib-ocaml-unji9
  • The dependencies of libcoq-core-ocaml-dev=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on i386 because: unsatisfied dependency on libfindlib-ocaml-85sc9
  • The dependencies of coqide=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libfindlib-ocaml-dhcd7
  • The dependencies of coq=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on i386 because: unsatisfied dependency on libfindlib-ocaml-85sc9
  • The dependencies of libcoq-core-ocaml-dev=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libfindlib-ocaml-0thr1
  • The dependencies of libcoq-core-ocaml=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libfindlib-ocaml-dhcd7
  • The dependencies of coq=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libfindlib-ocaml-0thr1
  • The dependencies of libcoq-core-ocaml-dev=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libfindlib-ocaml-dhcd7
  • The dependencies of libcoq-core-ocaml=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on i386 because: unsatisfied dependency on libfindlib-ocaml-85sc9
  • The dependencies of coq=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on libfindlib-ocaml-9bk70
  • The dependencies of libcoq-core-ocaml=8.17.0+dfsg-1+b2 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on libfindlib-ocaml-unji9
Created: 2023-09-21 Last update: 2023-09-21 15:35
A new upstream version is available: 8.18.0 high
A new upstream version 8.18.0 is available, you should consider packaging it.
Created: 2023-06-28 Last update: 2023-09-21 12:37
debian/patches: 1 patch with invalid metadata high

Among the 6 debian patches available in version 8.17.0+dfsg-1 of the package, we noticed the following issues:

  • 1 patch with invalid metadata that ought to be fixed.
Created: 2023-02-26 Last update: 2023-06-12 14:06
AppStream hints: 1 error and 1 warning high
AppStream found metadata issues for packages:
  • coqide: 1 error and 1 warning
You should get rid of them to provide more metadata about this software.
Created: 2020-01-25 Last update: 2022-01-21 06:04
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: 2022-01-11 Last update: 2023-09-21 10:03
version in VCS is newer than in repository, is it time to upload? normal
vcswatch reports that this package seems to have a new changelog entry (version 8.17.0+dfsg-2, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:
commit 3bac6aae2665a344865cc98a8c933d941435342f
Author: Stephane Glondu <steph@glondu.net>
Date:   Wed Sep 6 08:48:01 2023 +0200

    Remove camlp5 from Build-Depends

commit d4b24f84629f2c81b9985d9cb40d9ddd16d76d4c
Author: Julien Puydt <jpuydt@debian.org>
Date:   Sat Aug 19 17:48:02 2023 +0200

    Fix d/rules clean target (Closes: #1044637)

commit de1fa41df79b18f2861b729dea51a1170a99d9c3
Merge: 478e9471 e8f41c31
Author: Stephane Glondu <steph@glondu.net>
Date:   Mon Aug 14 11:42:29 2023 +0200

    Merge branch 'coq-scrub-obsolete'

commit 478e9471b2d7404aa357fbec5975ee2662bf25f1
Merge: dfa18d17 87fa96f3
Author: Stephane Glondu <steph@glondu.net>
Date:   Mon Aug 14 11:39:03 2023 +0200

    Merge branch 'coq-lintian-fixes'

commit dfa18d170ab337549410dc1c38b0cee526e7b1f5
Author: Stephane Glondu <steph@glondu.net>
Date:   Tue Aug 8 09:36:39 2023 +0200

    Depend on ocaml instead of ocaml-nox

commit 87fa96f39afe62d181bd1761d43d7aa5e3d9b296
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Tue Jan 10 00:36:49 2023 +0000

    Update standards version to 4.6.2, no changes needed.
    
    Changes-By: lintian-brush
    Fixes: lintian: out-of-date-standards-version
    See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html

commit 84c9c167d4deecf88dbf0193d8b4cfe998c2c31b
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Tue Jan 10 00:36:31 2023 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html

commit aa7261d2c8160c4d0087903db87ced85435ba8a8
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Tue Jan 10 00:35:30 2023 +0000

    debian/copyright: use spaces rather than tabs to start continuation lines.
    
    Changes-By: lintian-brush
    Fixes: lintian: tab-in-license-text
    See-also: https://lintian.debian.org/tags/tab-in-license-text.html

commit e910e8ad3471d5ca0ea422a9985d2e862f1c016d
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Tue Jan 10 00:35:28 2023 +0000

    Update lintian override info to new format:
    + debian/coq.lintian-overrides: line 2, 4-21
    + debian/libcoq-core-ocaml-dev.lintian-overrides: line 2
    + debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6
    
    Changes-By: lintian-brush
    Fixes: lintian: mismatched-override
    See-also: https://lintian.debian.org/tags/mismatched-override.html

commit e8f41c3187b6b14ffd9f283b398b67ca40bea027
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Fri Dec 9 17:19:55 2022 +0000

    Remove constraints unnecessary since buster (oldstable)
    
    * Build-Depends: Drop dependency on essential package bash (>= 5.0).
    * Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9.5~).
    * Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.05).
    * Build-Depends: Drop versioned constraint on camlp5 (>= 6.14).
    * libcoq-stdlib: Drop versioned constraint on coq (>= 8.0) in Recommends.
    * libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in Replaces.
    * libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<< 8.3~) in Replaces.
    * libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in Breaks.
    * libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<< 8.3~) in Breaks.
    * libcoq-core-ocaml-dev: Drop conflict with removed package coq (<< 8.2-1+dfsg-1) in Replaces.
    * libcoq-core-ocaml-dev: Drop conflict with removed package coq (<< 8.2-1+dfsg-1) in Breaks.
    
    Changes-By: deb-scrub-obsolete
Created: 2023-08-08 Last update: 2023-09-20 15:04
lintian reports 19 warnings normal
Lintian reports 19 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2023-06-12 Last update: 2023-06-12 23:31
news
[rss feed]
  • [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)
  • [2022-05-20] Accepted coq 8.15.1+dfsg-2 (source) into unstable (Julien Puydt)
  • [2022-04-22] coq 8.15.1+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2022-03-22] Accepted coq 8.15.1+dfsg-1 (source) into unstable (Julien Puydt)
  • [2022-02-09] coq 8.15.0+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2022-02-05] Accepted coq 8.15.0+dfsg-2 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)
  • [2022-02-03] coq 8.15.0+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2022-01-17] Accepted coq 8.15.0+dfsg-1 (source) into unstable (Julien Puydt)
  • [2022-01-17] Accepted coq 8.14.1+dfsg-2 (source) into unstable (Julien Puydt)
  • [2022-01-11] coq 8.14.1+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2021-12-11] Accepted coq 8.14.1+dfsg-1 (source) into unstable (Julien Puydt)
  • [2021-11-27] coq REMOVED from testing (Debian testing watch)
  • [2021-11-16] Accepted coq 8.14.0+dfsg-6 (source) into unstable (Julien Puydt)
  • [2021-11-16] Accepted coq 8.14.0+dfsg-5 (source) into unstable (Julien Puydt)
  • [2021-11-15] Accepted coq 8.14.0+dfsg-4 (source) into unstable (Julien Puydt)
  • [2021-11-13] Accepted coq 8.14.0+dfsg-3 (source) into unstable (Julien Puydt)
  • [2021-11-11] Accepted coq 8.14.0+dfsg-2 (source amd64) into experimental (Julien Puydt)
  • [2021-11-08] Accepted coq 8.14.0+dfsg-1 (source amd64) into experimental (Julien Puydt)
  • [2020-09-30] coq 8.12.0-3 MIGRATED to testing (Debian testing watch)
  • [2020-09-10] Accepted coq 8.12.0-3 (source) into unstable (Ralf Treinen)
  • [2020-09-06] Accepted coq 8.12.0-2 (source) into experimental (Ralf Treinen)
  • 1
  • 2
bugs [bug history graph]
  • all: 1
  • RC: 0
  • I&N: 0
  • M&W: 0
  • F&P: 1
  • patch: 0
links
  • homepage
  • lintian (0, 19)
  • buildd: logs, reproducibility, debcheck, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 8.17.0+dfsg-1build1
  • 3 bugs

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing