Go
Register
|
Log in
Subscribe
cryptominisat
SAT solver command line interface
×
Choose email to subscribe with
general
source:
cryptominisat
(
main
)
version:
5.
11.
4+
dfsg1-
2
maintainer:
Debian Science Team
(
archive
)
(
DMD
)
uploaders:
Julian Rüth
[
DMD
]
–
Julien Puydt
[
DMD
]
arch:
any
std-ver:
4.6.1
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
stable:
5.
8.
0+
dfsg1-
1
testing:
5.
11.
4+
dfsg1-
2
unstable:
5.
11.
4+
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]
binaries
cryptominisat
libcryptominisat5-5.11
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 2 files starting with /usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/ on any two of amd64, arm64, armel, armhf, and 5 more
Debci
reports
failed tests
high
unstable
:
pass
(
log
)
The tests ran in 0:00:21
Last run: 2022-11-04T16:19:24.000Z
Previous status:
pass
testing
:
pass
(
log
)
The tests ran in 0:00:24
Last run: 2022-11-15T14:21:06.000Z
Previous status:
pass
stable
:
fail
(
log
)
The tests ran in 0:00:25
Last run: 2022-11-22T03:46:55.000Z
Previous status:
fail
Does not build reproducibly
during testing
normal
A package
building reproducibly
enables third parties to verify that the source matches the distributed binaries. It has been
identified
that this source package produced different results, failed to build or had other issues in a
test environment
. Please read about
how to improve the situation
!
lintian reports
4 warnings
normal
Lintian reports
4 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Build log checks report
2 warnings
low
Build log checks
report
2 warnings
news
[rss feed]
[
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
,
4
)
buildd:
logs
,
checks
,
reproducibility
,
cross
popcon
browse source code
edit tags
other distros
screenshots
debci
ubuntu
[Information about Ubuntu for Debian Developers]
version:
5.8.0+dfsg1-2
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/cryptominisat.png){kind=link}