Debian Package Tracker
Register | Log in
Subscribe

coq-hierarchy-builder

build hierarchies of algebraic structures in Coq (tool)

Choose email to subscribe with

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)
  • 1
  • 2
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 Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1.4.0-6build5

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