Register | Log in

coq-hierarchy-builder

build hierarchies of algebraic structures in Coq (tool)

Choose email to subscribe with

general

source: coq-hierarchy-builder (main)
version: 1.3.0-1
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Julien Puydt [DMD]
arch: any
std-ver: 4.6.1
VCS: Git (Browse, QA)

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

[pool directory]

testing: 1.2.1-11
unstable: 1.3.0-1

versioned links

1.2.1-11: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1.3.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

coq-hierarchy-builder
libcoq-hierarchy-builder

action needed

Marked for autoremoval on 11 September: #1016303 high

Version 1.2.1-11 of coq-hierarchy-builder is marked for autoremoval from testing on Sun 11 Sep 2022. It is affected by #1016303. The removal of coq-hierarchy-builder will also cause the removal of (transitive) reverse dependency: mathcomp-analysis. You should try to prevent the removal by fixing these RC bugs.

Created: 2022-08-05 Last update: 2022-08-07 19:05

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: 2022-08-05 Last update: 2022-08-07 19:04

testing migrations

excuses:
- Blocked by: mathcomp-analysis
- Migrates after: coq-elpi/amd64, coq-elpi/arm64, coq-elpi/armhf, coq-elpi/i386, coq-elpi/ppc64el
- Migration status for coq-hierarchy-builder (1.2.1-11 to 1.3.0-1): Waiting for another item to be ready to migrate (no action required now - check later)
- Issues preventing migration:
- ∙ ∙ Implicit dependency: coq-hierarchy-builder mathcomp-analysis (not considered)
- ∙ ∙ Invalidated by implicit-dependency
- ∙ ∙ Depends: coq-hierarchy-builder coq-elpi/amd64
- ∙ ∙ Depends: coq-hierarchy-builder coq-elpi/arm64
- ∙ ∙ Depends: coq-hierarchy-builder coq-elpi/armhf
- ∙ ∙ Depends: coq-hierarchy-builder coq-elpi/i386
- ∙ ∙ Depends: coq-hierarchy-builder coq-elpi/ppc64el
- Additional info:
- ∙ ∙ Updating coq-hierarchy-builder will fix bugs in testing: #1016303
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-hierarchy-builder.html
- ∙ ∙ 7 days old (needed 5 days)
- Not considered

news

[2022-07-30] Accepted coq-hierarchy-builder 1.3.0-1 (source) into unstable (Julien Puydt)
[2022-07-10] coq-hierarchy-builder 1.2.1-11 MIGRATED to testing (Debian testing watch)
[2022-06-13] Accepted coq-hierarchy-builder 1.2.1-11 (source) into unstable (Julien Puydt)
[2022-06-02] Accepted coq-hierarchy-builder 1.2.1-10 (source) into unstable (Julien Puydt)
[2022-05-29] coq-hierarchy-builder 1.2.1-9 MIGRATED to testing (Debian testing watch)
[2022-05-23] Accepted coq-hierarchy-builder 1.2.1-9 (source) into unstable (Julien Puydt)
[2022-05-22] Accepted coq-hierarchy-builder 1.2.1-8 (source) into unstable (Julien Puydt)
[2022-05-17] coq-hierarchy-builder 1.2.1-7 MIGRATED to testing (Debian testing watch)
[2022-05-12] Accepted coq-hierarchy-builder 1.2.1-7 (source) into unstable (Julien Puydt)
[2022-05-11] Accepted coq-hierarchy-builder 1.2.1-6 (source) into unstable (Julien Puydt)
[2022-04-22] coq-hierarchy-builder 1.2.1-4 MIGRATED to testing (Debian testing watch)
[2022-04-13] Accepted coq-hierarchy-builder 1.2.1-4 (source) into unstable (Julien Puydt)
[2022-03-29] coq-hierarchy-builder 1.2.1-3 MIGRATED to testing (Debian testing watch)
[2022-03-23] Accepted coq-hierarchy-builder 1.2.1-3 (source) into unstable (Julien Puydt)
[2022-02-19] coq-hierarchy-builder 1.2.1-2 MIGRATED to testing (Debian testing watch)
[2022-02-13] Accepted coq-hierarchy-builder 1.2.1-2 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)
[2022-01-23] coq-hierarchy-builder 1.2.1-1 MIGRATED to testing (Debian testing watch)
[2022-01-17] Accepted coq-hierarchy-builder 1.2.1-1 (source) into unstable (Julien Puydt)
[2021-12-17] Accepted coq-hierarchy-builder 1.2.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, checks, clang, reproducibility, cross
popcon
browse source code
edit tags
other distros
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 1.2.1-11

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