general
- source
- cryptominisat (extra, misc)
- version
- 5.11.15+dfsg1-1.1
- maint
- Debian Science Team (a), Julian Rüth (u), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
versions
- oldstable
-
5.8.0+dfsg1-1
- stable
-
5.11.4+dfsg1-2
- testing
-
5.11.15+dfsg1-1.1
- unstable
-
5.11.15+dfsg1-1.1
- Ubuntu
- 5.11.15+dfsg1-1.1build1
binaries
-
cryptominisat
(0 bugs:
0,
0,
0,
0)
SAT solver command line interface -
libcryptominisat5-5.11t64
(0 bugs:
0,
0,
0,
0)
SAT solver library -
libcryptominisat5-dev
(0 bugs:
0,
0,
0,
0)
development files for the CryptoMiniSat SAT solver -
python3-cryptominisat
(0 bugs:
0,
0,
0,
0)
Python bindings for the CryptoMiniSat SAT solver (Python 3)
todo
- Incorporate and acknowledge the changes from the non maintainer upload.
- Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning about this package.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
- A new upstream version is available: 5.11.21, you should consider packaging it.
testing migration
- This package will soon be part of the python3.12-default transition. You might want to ensure that your package is ready for it. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
- Migration status for cryptominisat (5.8.0+dfsg1-2 to 5.11.2+dfsg1-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- Not built on buildd: arch amd64 binaries uploaded by julien.puydt@laposte.net
- missing build on mips64el
- missing build on mipsel
- Waiting for piuparts test results (stalls migration) - https://piuparts.debian.org/sid/source/c/cryptominisat.html
- autopkgtest for cryptominisat/5.11.2+dfsg1-1: amd64: Pass, arm64: Pass, armel: Pass, armhf: Pass, i386: Pass, ppc64el: Test in progress, s390x: Pass
- autopkgtest for cvc4/1.8-2: amd64: Pass, arm64: Pass, armel: Pass, armhf: Pass, i386: Pass, ppc64el: Test in progress, s390x: Pass
- Too young, only 0 of 5 days old
news RSS
- [2024-04-24] cryptominisat 5.11.15+dfsg1-1.1 MIGRATED to testing (Britney)
- [2024-02-27] Accepted 5.11.15+dfsg1-1.1 in unstable (medium) (Debian FTP Masters)
- [2024-01-30] Accepted 5.11.15+dfsg1-1.1~exp1 in experimental (medium) (Debian FTP Masters)
- [2023-12-16] cryptominisat 5.11.15+dfsg1-1 MIGRATED to testing (Britney)
- [2023-12-14] Accepted 5.11.15+dfsg1-1 in unstable (medium) (Debian FTP Masters)
- [2023-07-18] cryptominisat 5.11.4+dfsg1-3 MIGRATED to testing (Britney)
- [2023-07-14] Accepted 5.11.4+dfsg1-3 in unstable (medium) (Debian FTP Masters)
- [2022-11-07] cryptominisat 5.11.4+dfsg1-2 MIGRATED to testing (Britney)
- [2022-11-03] Accepted 5.11.4+dfsg1-2 in unstable (medium) (Debian FTP Masters)
- [2022-10-31] cryptominisat 5.11.4+dfsg1-1 MIGRATED to testing (Britney)
- [2022-10-28] Accepted 5.11.4+dfsg1-1 in unstable (medium) (Debian FTP Masters)
- [2022-10-06] cryptominisat 5.11.2+dfsg1-1 MIGRATED to testing (Britney)
- [2022-10-03] Accepted 5.11.2+dfsg1-1 in unstable (medium) (Debian FTP Masters)
- [2022-02-24] cryptominisat 5.8.0+dfsg1-2 MIGRATED to testing (Britney)
- [2022-02-22] Accepted 5.8.0+dfsg1-2 in unstable (medium) (Debian FTP Masters)
- [2020-07-16] cryptominisat 5.8.0+dfsg1-1 MIGRATED to testing (Britney)
- [2020-07-13] Accepted 5.8.0+dfsg1-1 in unstable (medium) (Debian FTP Masters)
- [2020-05-14] cryptominisat 5.7.1+dfsg1-1 MIGRATED to testing (Britney)
- [2020-05-11] Accepted 5.7.1+dfsg1-1 in unstable (medium) (Debian FTP Masters)
- [2018-12-27] cryptominisat REMOVED from testing (Britney)
- [2018-11-20] cryptominisat 5.6.4+dfsg.1-1 MIGRATED to testing (Britney)
- [2018-11-09] Accepted 5.6.4+dfsg.1-1 in unstable (low) (Julian Rüth)
