Debian Package Tracker
Register | Log in
Subscribe

herdtools7

Tool suite to test weak memory models

Choose email to subscribe with

general
  • source: herdtools7 (main)
  • version: 7.58-1
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Sebastian Andrzej Siewior [DMD]
  • arch: any
  • std-ver: 4.7.3
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • unstable: 7.58-1
versioned links
  • 7.58-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • herdtools7
action needed
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 7.58-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 aecbb8dc2626d69e6c445514187dea28997c1de7
Author: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
Date:   Fri Feb 27 20:04:23 2026 +0100

    d/salsa-ci: Drop i386
    
    Don't test building on i386 due to lack of nativ ocalm compiler.
    
    Signed-off-by: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>

commit 3ff74b523e491fb7c592fc31a875d2eb1eb0cc5a
Author: Stéphane Glondu <glondu@debian.org>
Date:   Fri Feb 27 16:26:46 2026 +0100

    Remove Priority and Rules-Requires-Root

commit 97afe6bb41c5cc84a0e921ce1beeea5297a1ebe1
Author: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
Date:   Thu Feb 26 22:35:07 2026 +0100

    d: Depend on ocaml-native-compilers
    
    The build system asks for native compiler. Depend on the native compiler
    package so it is built only where it is available.
    
    Signed-off-by: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>

commit bb38bc8a3571244b794072fa26bf786c51c4f9e4
Author: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
Date:   Sun Feb 8 17:34:13 2026 +0100

    Add salsa-ci
    
    Signed-off-by: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
Created: 2026-02-26 Last update: 2026-02-27 20:00
lintian reports 56 warnings normal
Lintian reports 56 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2026-02-26 Last update: 2026-02-26 09:30
testing migrations
  • excuses:
    • Migration status for herdtools7 (- to 7.58-1): Waiting for test results or another package, or too young (no action required now - check later)
    • Issues preventing migration:
    • ∙ ∙ Too young, only 2 of 5 days old
    • Additional info (not blocking):
    • ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/h/herdtools7.html
    • ∙ ∙ Reproducible on amd64
    • ∙ ∙ Reproducible on arm64
    • ∙ ∙ Reproducible on armhf
    • ∙ ∙ Reproducible on i386
    • ∙ ∙ Reproducible on ppc64el
    • Not considered
news
[rss feed]
  • [2026-02-26] Accepted herdtools7 7.58-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Sebastian Andrzej Siewior)
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian (0, 56)
  • buildd: logs, cross
  • popcon
  • browse source code
  • edit tags
  • other distros

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