btor2tools - Debian Package Tracker

general

source: btor2tools (main)
version: 1.0.2~git20250507.fb69ee3-1
maintainer: Debian Science Maintainers (archive) (DMD)
uploaders: Andreas Tille [DMD]
arch: any
std-ver: 4.7.2
VCS: Git (Browse, QA)

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

[pool directory]

unstable: 1.0.2~git20250507.fb69ee3-1

versioned links

1.0.2~git20250507.fb69ee3-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

btor2tools
libbtor2parser-dev
libbtor2parser0

action needed

1 binary package has unsatisfiable dependencies high

The dependencies of btor2tools=1.0.2~git20250507.fb69ee3-1 cannot be satisfied in unstable on ppc64el, amd64, s390x, i386, armhf, and arm64 because: unsatisfied dependency on libbtor2tools0

Created: 2026-01-30 Last update: 2026-01-30 15:01

A new upstream version is available: 1.0.2~git20250918.d33c73f high

A new upstream version 1.0.2~git20250918.d33c73f is available, you should consider packaging it.

Created: 2026-01-30 Last update: 2026-01-30 14:31

lintian reports 3 warnings normal

Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2026-01-30 Last update: 2026-01-30 11:00

piuparts found (un)installation error(s) normal

Piuparts stresses package installation, uninstallation, upgrade, ... While doing such tests, one or more errors were found for the following suites:

sid - piuparts

You should fix them.

Created: 2026-01-30 Last update: 2026-01-30 05:30

12 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 008766d297158a9301249168d9925d6af51c496e
Author: Andreas Tille <tille@debian.org>
Date:   Wed Nov 19 15:39:12 2025 +0100

    Refine d/copyright after Gateway to new hints

commit d386fbf971cfb786d1c8fa8540a17fd92eccffc2
Author: Andreas Tille <tille@debian.org>
Date:   Wed Nov 19 07:59:01 2025 +0100

    Add Gateway2new pipeline

commit 26cc545a9cf1c9d71901e360ff719287571c0aec
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:54:52 2025 +0200

    Upload to unstable

commit 4952cb227980a07557b69217fa9be053624b3909
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:53:50 2025 +0200

    Hardening

commit a3e1036cf16ff14b07e44fb6c94302b7ffd73b9b
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 05:52:52 2025 +0100

    Trim trailing whitespace.
    
    Changes-By: lintian-brush
    Fixes: lintian: trailing-whitespace
    See-also: https://lintian.debian.org/tags/trailing-whitespace.html

commit debb6a35a10c14398a028bc7cb1d8c5bd6376fe2
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:50:02 2025 +0200

    Close ITP bug

commit bbca200cc21c101a7d3b3578076f52e62159f774
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:31:25 2025 +0200

    Use d-shlibs

commit ac3189747e1d4cd653494079f35fc07efb1b6c65
Author: Andreas Tille <tille@debian.org>
Date:   Sat Aug 23 06:23:13 2025 +0200

    Build static and shared library

commit 327788b8f46c584c6744ff730bc89df963e6f119
Author: Andreas Tille <tille@debian.org>
Date:   Fri Aug 22 14:45:31 2025 +0200

    Build libraries

commit 6928173ae752db3ffe9bb3114778c4ea221b2a2b
Author: Andreas Tille <tille@debian.org>
Date:   Wed Aug 20 13:25:39 2025 +0200

    Upstream has a strange way to use cmake - start coping with it

commit 8625509410de06b328e91e9dc65252341bb6ff39
Author: Andreas Tille <tille@debian.org>
Date:   Wed Aug 20 12:48:44 2025 +0200

    Try building

commit 32d5fef95db00db25983853696d08542019e8710
Author: Andreas Tille <tille@debian.org>
Date:   Wed Aug 20 12:07:18 2025 +0200

    Initial packaging

Created: 2026-01-30 Last update: 2026-01-30 03:30

debian/patches: 1 patch to forward upstream low

Among the 1 debian patch available in version 1.0.2~git20250507.fb69ee3-1 of the package, we noticed the following issues:

1 patch where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2026-01-30 Last update: 2026-01-30 11:31

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.3 instead of 4.7.2).

Created: 2026-01-30 Last update: 2026-01-30 05:30

testing migrations

excuses:
- Migration status for btor2tools (- to 1.0.2~git20250507.fb69ee3-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ btor2tools/amd64 has unsatisfiable dependency
- ∙ ∙ btor2tools/arm64 has unsatisfiable dependency
- ∙ ∙ btor2tools/armhf has unsatisfiable dependency
- ∙ ∙ btor2tools/i386 has unsatisfiable dependency
- ∙ ∙ btor2tools/ppc64el has unsatisfiable dependency
- ∙ ∙ btor2tools/riscv64 has unsatisfiable dependency
- ∙ ∙ btor2tools/s390x has unsatisfiable dependency
- ∙ ∙ Too young, only 0 of 5 days old
- Additional info (not blocking):
- ∙ ∙ Piuparts can't test btor2tools (not a blocker) - https://piuparts.debian.org/sid/source/b/btor2tools.html
- ∙ ∙ Autopkgtest skipped on amd64: not installable
- ∙ ∙ Autopkgtest skipped on arm64: not installable
- ∙ ∙ Autopkgtest skipped on i386: not installable
- ∙ ∙ Autopkgtest skipped on ppc64el: not installable
- ∙ ∙ Autopkgtest skipped on riscv64: not installable
- ∙ ∙ Autopkgtest skipped on s390x: not installable
- ∙ ∙ Reproducible on amd64
- ∙ ∙ Reproducible on arm64
- ∙ ∙ Reproducible on armhf
- ∙ ∙ Reproducible on i386
- ∙ ∙ Reproducible on ppc64el
- Not considered

news

[rss feed]

[2026-01-30] Accepted btor2tools 1.0.2~git20250507.fb69ee3-2 (source) into unstable (Andreas Tille)
[2026-01-29] Accepted btor2tools 1.0.2~git20250507.fb69ee3-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Andreas Tille)

bugs [bug history graph]

all: 0

links

homepage
lintian (0, 3)
buildd: logs, debcheck, cross
popcon
browse source code
edit tags
other distros
screenshots
debian patches