cryptominisat - Debian Package Tracker

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

[Information about Ubuntu for Debian Developers]

version: 5.11.21+dfsg1-2