cryptominisat - Debian Package Tracker

general

source: cryptominisat (main)
version: 5.11.21+dfsg1-1
maintainer: Debian Science Team (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-1

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]

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 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-05 16:30

Marked for autoremoval on 03 June due to libm4ri: #1099530 high

Version 5.11.21+dfsg1-1 of cryptominisat is marked for autoremoval from testing on Tue 03 Jun 2025. It depends (transitively) on libm4ri, affected by #1099530. You should try to prevent the removal by fixing these RC bugs.

Created: 2025-05-05 Last update: 2025-05-05 16:30

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-05 11:32

debian/patches: 1 patch with invalid metadata high

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

1 patch with invalid metadata that ought to be fixed.

Created: 2023-02-26 Last update: 2024-05-03 16: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 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-05 10:33

lintian reports 3 warnings normal

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

Created: 2022-11-04 Last update: 2025-04-11 08:00

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-02-27 13:25

news

[rss feed]

[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-1build1