Debian Package Tracker
Register | Log in
Subscribe

cryptominisat

SAT solver command line interface

Choose email to subscribe with

general
  • source: cryptominisat (main)
  • version: 5.11.21+dfsg1-2
  • maintainer: Debian Science Maintainers (archive) (DMD)
  • uploaders: Julian Rüth [DMD] – Julien Puydt [DMD]
  • arch: any
  • std-ver: 4.7.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • oldstable: 5.8.0+dfsg1-1
  • stable: 5.11.4+dfsg1-2
  • testing: 5.11.21+dfsg1-1
  • unstable: 5.11.21+dfsg1-2
versioned links
  • 5.8.0+dfsg1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 5.11.4+dfsg1-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 5.11.21+dfsg1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 5.11.21+dfsg1-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • cryptominisat
  • libcryptominisat5-5.11t64
  • libcryptominisat5-dev
  • python3-cryptominisat
action needed
A new upstream version is available: 5.13.0 high
A new upstream version 5.13.0 is available, you should consider packaging it.
Created: 2024-07-14 Last update: 2025-05-28 23:27
Multiarch hinter reports 2 issue(s) high
There are issues with the multiarch metadata for this package.
  • libcryptominisat5-dev conflicts on 2 files starting with /usr/lib/cmake/cryptominisat5/cryptominisat5 on any two of amd64, arm64, armel, armhf, and 5 more
  • python3-cryptominisat conflicts on /usr/lib/python3/dist-packages/pycryptosat-5.11.21.dist-info/WHEEL on any two of amd64, arm64, armel, armhf, and 5 more
Created: 2022-10-04 Last update: 2025-05-28 22:32
debian/patches: 1 patch with invalid metadata high

Among the 2 debian patches available in version 5.11.21+dfsg1-2 of the package, we noticed the following issues:

  • 1 patch with invalid metadata that ought to be fixed.
Created: 2023-02-26 Last update: 2025-05-25 09:01
lintian reports 3 warnings normal
Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2025-05-25 Last update: 2025-05-25 11:00
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 5.11.22+dfsg1-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 7cdaad0ada5c2be7910d1709852d95f6bc45c3cc
Author: Alexandre Detiste <tchet@debian.org>
Date:   Sun May 25 00:45:22 2025 +0200

    document 5.11.21+dfsg1-2, upstream has since switched to tomli

commit d870273751ac45b6b9f649a11d68a26c7e650f86
Author: Alexandre Detiste <tchet@debian.org>
Date:   Sat May 10 13:09:10 2025 +0200

    fix Team name

commit e5d90fe2272b4eeb09f1bff1b93edb484109fdbd
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Sep 17 05:55:42 2024 +0200

    Update patches

commit 23f1dc140a46d2cb589bf0cdad4fd5e6b0ffc741
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Sep 17 05:54:12 2024 +0200

    Fix multi-arch warnings

commit 8b6398138c3820a41b0e6503076368da75e7b1ee
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Sep 17 05:53:54 2024 +0200

    Get rid of the t64 suffix

commit 317dea8872e911a288742ae308d9119453f37c8f
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Sep 17 05:52:03 2024 +0200

    Package new upstream 5.11.22

commit 8f1a265cf88609377a0c8257f7ca04fcf760dfec
Merge: 89a917d afba676
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Sep 17 05:51:30 2024 +0200

    Update upstream source from tag 'upstream/5.11.22+dfsg1'
    
    Update to upstream version '5.11.22+dfsg1'
    with Debian dir ffd9d029ae47058d808d0532f1cebcad0b6a470f

commit afba676bb226fcaf502e3ab7b6f731c96807e642
Author: Julien Puydt <jpuydt@debian.org>
Date:   Tue Sep 17 05:51:29 2024 +0200

    New upstream version 5.11.22+dfsg1
Created: 2024-09-29 Last update: 2025-05-25 03:30
Build log checks report 1 warning low
Build log checks report 1 warning
Created: 2020-07-15 Last update: 2023-12-14 15:00
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.2 instead of 4.7.0).
Created: 2025-02-21 Last update: 2025-05-25 06:33
testing migrations
  • excuses:
    • Migration status for cryptominisat (5.11.21+dfsg1-1 to 5.11.21+dfsg1-2): Waiting for test results or another package, or too young (no action required now - check later)
    • Issues preventing migration:
    • ∙ ∙ Too young, only 4 of 20 days old
    • Additional info:
    • ∙ ∙ Updating cryptominisat will fix bugs in testing: #1106423
    • ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cryptominisat.html
    • ∙ ∙ autopkgtest for cryptominisat/5.11.21+dfsg1-2: amd64: Pass, arm64: Pass, armel: Pass, armhf: Pass, i386: Pass, ppc64el: Pass, riscv64: Pass, s390x: Pass
    • ∙ ∙ Reproducible on amd64 - info ♻
    • ∙ ∙ Reproducible on arm64 - info ♻
    • ∙ ∙ Waiting for reproducibility test results on armhf - info ♻
    • ∙ ∙ Waiting for reproducibility test results on i386 - info ♻
    • ∙ ∙ not blocked: has successful autopkgtest
    • Not considered
news
[rss feed]
  • [2025-05-24] Accepted cryptominisat 5.11.21+dfsg1-2 (source) into unstable (Alexandre Detiste)
  • [2024-05-05] cryptominisat 5.11.21+dfsg1-1 MIGRATED to testing (Debian testing watch)
  • [2024-05-03] Accepted cryptominisat 5.11.21+dfsg1-1 (source) into unstable (Julien Puydt)
  • [2024-04-24] cryptominisat 5.11.15+dfsg1-1.1 MIGRATED to testing (Debian testing watch)
  • [2024-02-27] Accepted cryptominisat 5.11.15+dfsg1-1.1 (source) into unstable (Michael Hudson-Doyle)
  • [2024-01-30] Accepted cryptominisat 5.11.15+dfsg1-1.1~exp1 (source amd64) into experimental (Michael Hudson-Doyle)
  • [2023-12-16] cryptominisat 5.11.15+dfsg1-1 MIGRATED to testing (Debian testing watch)
  • [2023-12-14] Accepted cryptominisat 5.11.15+dfsg1-1 (source) into unstable (Julien Puydt)
  • [2023-07-18] cryptominisat 5.11.4+dfsg1-3 MIGRATED to testing (Debian testing watch)
  • [2023-07-14] Accepted cryptominisat 5.11.4+dfsg1-3 (source) into unstable (Scott Talbert)
  • [2022-11-07] cryptominisat 5.11.4+dfsg1-2 MIGRATED to testing (Debian testing watch)
  • [2022-11-03] Accepted cryptominisat 5.11.4+dfsg1-2 (source) into unstable (Scott Talbert)
  • [2022-10-31] cryptominisat 5.11.4+dfsg1-1 MIGRATED to testing (Debian testing watch)
  • [2022-10-28] Accepted cryptominisat 5.11.4+dfsg1-1 (source) into unstable (Julien Puydt)
  • [2022-10-06] cryptominisat 5.11.2+dfsg1-1 MIGRATED to testing (Debian testing watch)
  • [2022-10-03] Accepted cryptominisat 5.11.2+dfsg1-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Julien Puydt)
  • [2022-02-24] cryptominisat 5.8.0+dfsg1-2 MIGRATED to testing (Debian testing watch)
  • [2022-02-22] Accepted cryptominisat 5.8.0+dfsg1-2 (source) into unstable (Julien Puydt)
  • [2020-07-16] cryptominisat 5.8.0+dfsg1-1 MIGRATED to testing (Debian testing watch)
  • [2020-07-13] Accepted cryptominisat 5.8.0+dfsg1-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)
  • [2020-05-14] cryptominisat 5.7.1+dfsg1-1 MIGRATED to testing (Debian testing watch)
  • [2020-05-11] Accepted cryptominisat 5.7.1+dfsg1-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)
  • [2018-12-27] cryptominisat REMOVED from testing (Debian testing watch)
  • [2018-11-20] cryptominisat 5.6.4+dfsg.1-1 MIGRATED to testing (Debian testing watch)
  • [2018-11-09] Accepted cryptominisat 5.6.4+dfsg.1-1 (amd64 source) into unstable, unstable (Julian Rüth)
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian (0, 3)
  • buildd: logs, checks, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 5.11.21+dfsg1-2

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