Debian Package Tracker
Register | Log in
Subscribe

coqeal

algebra and data structure algorithms for Coq

Choose email to subscribe with

general
  • source: coqeal (main)
  • version: 2.1.2-2
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Julien Puydt [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]
  • oldstable: 1.1.1-3
  • stable: 2.1.0-1
  • unstable: 2.1.2-2
versioned links
  • 1.1.1-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 2.1.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 2.1.2-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • libcoq-coqeal
action needed
Debci reports failed tests high
  • unstable: fail (log)
    The tests ran in 0:00:48
    Last run: 2026-08-07T14:54:06.000Z
    Previous status: unknown

  • testing: pass (log)
    The tests ran in 0:02:50
    Last run: 2026-02-12T19:03:15.000Z
    Previous status: unknown

  • stable: pass (log)
    The tests ran in 0:00:48
    Last run: 2026-07-17T19:44:02.000Z
    Previous status: unknown

Created: 2026-05-17 Last update: 2026-08-17 23:02
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-17 Last update: 2026-08-17 22:31
testing migrations
  • excuses:
    • Migrates after: mathcomp-multinomials, mathcomp-real-closed, ssreflect
    • Migration status for coqeal (- to 2.1.2-2): BLOCKED: Rejected/violates migration policy/introduces a regression
    • Issues preventing migration:
    • ∙ ∙ New but not reproduced on amd64 - info: libcoq-coqeal
    • ∙ ∙ New but not reproduced on arm64 - info: libcoq-coqeal
    • ∙ ∙ Build-Depends(-Arch): coqeal mathcomp-multinomials
    • ∙ ∙ Build-Depends(-Arch): coqeal mathcomp-real-closed
    • ∙ ∙ Build-Depends(-Arch): coqeal ssreflect
    • ∙ ∙ Depends: coqeal mathcomp-multinomials
    • ∙ ∙ Depends: coqeal mathcomp-real-closed
    • ∙ ∙ Depends: coqeal ssreflect
    • Additional info (not blocking):
    • ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coqeal.html
    • ∙ ∙ Autopkgtest for coqeal/2.1.2-2: amd64: Pass, arm64: Pass, ppc64el: Pass, s390x: Pass
    • ∙ ∙ Reproduced on armhf - info
    • ∙ ∙ Reproduced on i386 - info
    • ∙ ∙ Required age reduced by 3 days because of autopkgtest
    • ∙ ∙ 5 days old (needed 2 days)
    • Not considered
news
[rss feed]
  • [2026-08-12] Accepted coqeal 2.1.2-2 (source) into unstable (Julien Puydt)
  • [2026-07-29] Accepted coqeal 2.1.2-1 (source amd64) into unstable (Julien Puydt)
  • [2026-07-21] Accepted coqeal 2.1.1-3 (source amd64) into experimental (Julien Puydt)
  • [2026-05-01] coqeal REMOVED from testing (Debian testing watch)
  • [2025-11-11] Accepted coqeal 2.1.1-2 (source amd64) into experimental (Julien Puydt)
  • [2025-10-30] Accepted coqeal 2.1.1-1 (source amd64) into experimental (Julien Puydt)
  • [2025-03-23] coqeal 2.1.0-1 MIGRATED to testing (Debian testing watch)
  • [2025-03-18] Accepted coqeal 2.1.0-1 (source) into unstable (Julien Puydt)
  • [2024-12-24] coqeal 2.0.3-1 MIGRATED to testing (Debian testing watch)
  • [2024-12-18] Accepted coqeal 2.0.3-1 (source) into unstable (Julien Puydt)
  • [2024-09-06] coqeal 2.0.2-2 MIGRATED to testing (Debian testing watch)
  • [2024-08-17] coqeal REMOVED from testing (Debian testing watch)
  • [2024-08-04] Accepted coqeal 2.0.2-2 (source) into unstable (Stéphane Glondu)
  • [2024-06-24] coqeal 2.0.2-1 MIGRATED to testing (Debian testing watch)
  • [2024-05-02] Accepted coqeal 2.0.2-1 (source) into unstable (Julien Puydt)
  • [2024-01-23] coqeal 2.0.1-1 MIGRATED to testing (Debian testing watch)
  • [2024-01-20] Accepted coqeal 2.0.1-1 (source) into unstable (Julien Puydt)
  • [2023-12-27] Accepted coqeal 2.0.0-1 (source) into unstable (Julien Puydt)
  • [2023-06-24] coqeal 1.1.3-1 MIGRATED to testing (Debian testing watch)
  • [2023-06-20] Accepted coqeal 1.1.3-1 (source) into unstable (Julien Puydt)
  • [2023-01-31] coqeal 1.1.1-3 MIGRATED to testing (Debian testing watch)
  • [2023-01-27] Accepted coqeal 1.1.1-3 (source) into unstable (Julien Puydt)
  • [2022-09-17] coqeal 1.1.1-2 MIGRATED to testing (Debian testing watch)
  • [2022-09-13] Accepted coqeal 1.1.1-2 (source) into unstable (Julien Puydt)
  • [2022-07-10] coqeal 1.1.1-1 MIGRATED to testing (Debian testing watch)
  • [2022-07-08] Accepted coqeal 1.1.1-1 (source) into unstable (Julien Puydt)
  • [2022-07-06] Accepted coqeal 1.1.0-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian
  • buildd: logs, cross
  • popcon
  • browse source code
  • other distros
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 2.1.0-1build9

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