coq-hierarchy-builder - Debian Package Tracker

general

source: coq-hierarchy-builder (main)
version: 1.4.0-6
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: 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]

stable: 1.4.0-2
testing: 1.4.0-6
unstable: 1.4.0-6

versioned links

1.4.0-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1.4.0-6: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

coq-hierarchy-builder
libcoq-hierarchy-builder

action needed

A new upstream version is available: 1.6.0 high

A new upstream version 1.6.0 is available, you should consider packaging it.

Created: 2023-08-07 Last update: 2023-09-27 16:31

debian/patches: 1 patch with invalid metadata high

Among the 2 debian patches available in version 1.4.0-6 of the package, we noticed the following issues:

1 patch with invalid metadata that ought to be fixed.

Created: 2023-06-13 Last update: 2023-07-26 16:41

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 1.6.0-1, 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 1a12bbb50f1a7667a35d4c2e2b98377d524edf47
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:11:44 2023 +0200

    Drop all patches

commit ff92fba1cc240176f916959d49136d7a6834d1b1
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:10:46 2023 +0200

    Package new upstream 1.6.0

commit 38a06ef502d94441275e13d21540e0034af9c81c
Merge: 27ef519 16bdb21
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:10:27 2023 +0200

    Update upstream source from tag 'upstream/1.6.0'
    
    Update to upstream version '1.6.0'
    with Debian dir 58187802a177b6de0122b027f9f013ebddb27a10

commit 16bdb218ba10da02fcfe14a45f3ce8045fc1a4c1
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:10:26 2023 +0200

    New upstream version 1.6.0

commit 27ef519e165f0b9f2ae74fa27e8dbf9e2f625146
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date:   Sun Sep 3 09:06:09 2023 +0200

    Depend on ocaml instead of transitional ocaml-nox

commit d73124e461b054554ea999d6f485fa92e105a7b8
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 12:07:23 2023 +0200

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

commit 6b6c3fda63cec6602739acc707f79f22ff295694
Merge: bfc149e 688cff7
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date:   Tue Aug 15 14:59:52 2023 +0200

    Merge branch 'coq-hierarchy-builder-lintian-fixes'

commit 688cff70bf38664f0317f78533c3cc5712a6a9bc
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Wed Oct 26 07:50:39 2022 +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

Created: 2023-08-17 Last update: 2023-09-27 08:32

news

[rss feed]

[2023-08-17] coq-hierarchy-builder 1.4.0-6 MIGRATED to testing (Debian testing watch)
[2023-07-26] Accepted coq-hierarchy-builder 1.4.0-6 (source) into unstable (Julien Puydt)
[2023-07-21] coq-hierarchy-builder 1.4.0-5 MIGRATED to testing (Debian testing watch)
[2023-07-05] Accepted coq-hierarchy-builder 1.4.0-5 (source) into unstable (Julien Puydt)
[2023-07-04] Accepted coq-hierarchy-builder 1.4.0-4 (source) into unstable (Julien Puydt)
[2023-06-24] coq-hierarchy-builder 1.4.0-3 MIGRATED to testing (Debian testing watch)
[2023-06-13] Accepted coq-hierarchy-builder 1.4.0-3 (source) into unstable (Julien Puydt)
[2022-11-19] coq-hierarchy-builder 1.4.0-2 MIGRATED to testing (Debian testing watch)
[2022-10-26] Accepted coq-hierarchy-builder 1.4.0-2 (source) into unstable (Julien Puydt)
[2022-10-08] coq-hierarchy-builder 1.4.0-1 MIGRATED to testing (Debian testing watch)
[2022-10-02] Accepted coq-hierarchy-builder 1.4.0-1 (source) into unstable (Julien Puydt)
[2022-09-17] coq-hierarchy-builder 1.3.0-2 MIGRATED to testing (Debian testing watch)
[2022-09-06] Accepted coq-hierarchy-builder 1.3.0-2 (source) into unstable (Julien Puydt)
[2022-08-09] coq-hierarchy-builder 1.3.0-1 MIGRATED to testing (Debian testing watch)
[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)

bugs [bug history graph]

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

links

homepage
lintian
buildd: logs, checks, reproducibility, cross
popcon
browse source code
edit tags
other distros
screenshots
debian patches

ubuntu

[Information about Ubuntu for Debian Developers]

version: 1.4.0-6build5