Debian Package Tracker
Register | Log in
Subscribe

drat-trim

DART-trim satisfiability proof checker (binary utils)

Choose email to subscribe with

general
  • source: drat-trim (main)
  • version: 0.0~git20240428.effa1dc-3
  • maintainer: Debian Science Maintainers (archive) (DMD)
  • uploaders: Shengqi Chen [DMD]
  • arch: all 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]
  • stable: 0.0~git20240428.effa1dc-2
  • testing: 0.0~git20240428.effa1dc-3
  • unstable: 0.0~git20240428.effa1dc-3
versioned links
  • 0.0~git20240428.effa1dc-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 0.0~git20240428.effa1dc-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • drat-trim
  • drat-trim-examples
action needed
A new upstream version is available: 0.0~git20241125.2e3b2dc high
A new upstream version 0.0~git20241125.2e3b2dc is available, you should consider packaging it.
Created: 2025-11-27 Last update: 2026-07-04 08:32
3 new commits since last upload, is it time to release? normal
vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:
commit 36d7072dd4247bd701faa6f537c6548ae37c5337
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date:   Sun Jun 21 13:46:27 2026 +0200

    rewrite d/watch in v5 format

commit b670c0fdd62d6e8b8243c86ccc8ab14897855dec
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date:   Sun Jun 21 12:45:03 2026 +0100

    Update standards version to 4.7.4, no changes needed.
    
    Upgrade checklist verified:
     4.7.3 → 4.7.4:
      * Package is not in non-free-firmware
    
    Changes-By: lintian-brush
    Fixes: lintian: source: out-of-date-standards-version 4.7.3 (released 2025-12-23) (current is 4.7.4.1)
    See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html

commit 63d15227c4d8a7af6ead189d2d34c8410b499970
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date:   Sun Jun 21 13:44:46 2026 +0200

    wrap-and-sort -ast
Created: 2026-06-21 Last update: 2026-07-03 20:32
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.4 instead of 4.7.3).
Created: 2026-03-31 Last update: 2026-03-31 15:01
news
[rss feed]
  • [2026-03-26] drat-trim 0.0~git20240428.effa1dc-3 MIGRATED to testing (Debian testing watch)
  • [2026-03-23] Accepted drat-trim 0.0~git20240428.effa1dc-3 (source) into unstable (Alexandre Detiste)
  • [2024-10-16] drat-trim 0.0~git20240428.effa1dc-2 MIGRATED to testing (Debian testing watch)
  • [2024-10-14] Accepted drat-trim 0.0~git20240428.effa1dc-2 (source) into unstable (Shengqi Chen) (signed by: Aron Xu)
  • [2024-10-13] Accepted drat-trim 0.0~git20240428.effa1dc-1 (source amd64 all) into unstable (Debian FTP Masters) (signed by: Aron Xu)
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • other distros
  • debian patches
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 0.0~git20240428.effa1dc-3

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