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-3
  • maintainer: Debian Science Maintainers (archive) (DMD)
  • uploaders: Julien Puydt [DMD] – Julian Rüth [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]
  • o-o-stable: 5.8.0+dfsg1-1
  • oldstable: 5.11.4+dfsg1-2
  • stable: 5.11.21+dfsg1-2
  • testing: 5.11.21+dfsg1-3
  • unstable: 5.11.21+dfsg1-3
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-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 5.11.21+dfsg1-3: [.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
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 4 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 4 more
Created: 2022-10-04 Last update: 2025-09-15 02:31
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-09-15 02:30
debian/patches: 1 patch with invalid metadata, 1 patch to forward upstream high

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

  • 1 patch with invalid metadata that ought to be fixed.
  • 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: 2023-02-26 Last update: 2025-08-13 17:06
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-09-13 18:05
lintian reports 2 warnings normal
Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2025-08-13 Last update: 2025-08-27 09:30
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-08-13 12:32
news
[rss feed]
  • [2025-08-17] cryptominisat 5.11.21+dfsg1-3 MIGRATED to testing (Debian testing watch)
  • [2025-08-13] Accepted cryptominisat 5.11.21+dfsg1-3 (source) into unstable (Alexandre Detiste)
  • [2025-06-14] cryptominisat 5.11.21+dfsg1-2 MIGRATED to testing (Debian testing watch)
  • [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, 2)
  • buildd: logs, 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