Debian Package Tracker - cryptominisat

general

source: cryptominisat (main)
version: 5.6.4+dfsg.1-1
maintainer: Debian Science Team (archive) (DMD)
uploaders: Julian Rüth [DMD]
arch: any
std-ver: 4.1.5
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

unstable: 5.6.4+dfsg.1-1

versioned links

5.6.4+dfsg.1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

cryptominisat
libcryptominisat5-5.6
libcryptominisat5-dev
python3-cryptominisat (1 bugs: 0, 0, 1, 0)

action needed

source package has 1 unsatisfiable build dependency high

Build dependencies in unstable cannot be satisfied on armhf, armel, mips64el, amd64, ppc64el, arm64, mipsel, i386, and s390x because: unsatisfied dependency on libboost-program-options1.62-dev

Created: 2019-12-08 Last update: 2020-02-17 12:00

1 binary package has unsatisfiable dependencies high

The dependencies of cryptominisat=5.6.4+dfsg.1-1+b3 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libboost-program-options1.62.0

Created: 2019-12-08 Last update: 2020-02-17 12:00

Debci reports failed tests high

unstable: fail (log)
The tests ran in 0:00:24
Last run: 2020-01-25 00:00:40 UTC
Previous status: fail

Created: 2018-11-10 Last update: 2020-02-17 11:13

Failed to analyze the VCS repository. Please troubleshoot and fix the issue. high

vcswatch reports that there is an error with this package's VCS, or the debian/changelog file inside it. Please check the error shown below and try to fix it. You might have to update the VCS URL in the debian/control file to point to the correct repository.

debian/changelog not found in any branch (tried master, debian, debian/master, debian/sid, master)

Created: 2018-11-09 Last update: 2020-02-17 08:04

A new upstream version is available: 5.6.8 high

A new upstream version 5.6.8 is available, you should consider packaging it.

Created: 2018-11-10 Last update: 2020-02-17 06:19

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 5-day delay is over. Check why.

Created: 2018-12-26 Last update: 2020-02-17 11:06

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.5.0 instead of 4.1.5).

Created: 2018-11-10 Last update: 2020-01-21 05:06

testing migrations

excuses:
- Migration status for cryptominisat (- to 5.6.4+dfsg.1-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- cryptominisat/amd64 has unsatisfiable dependency
- Updating cryptominisat introduces new bugs: #914711, #915605
- cryptominisat unsatisfiable Build-Depends(-Arch) on amd64: libboost-program-options1.62-dev
- Impossible Depends: cryptominisat -> libm4ri-0.0.20140914/20140914-2+b2/amd64
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cryptominisat.html
- uninstallable on arch amd64, not running autopkgtest there
- 464 days old (needed 5 days)
- Not considered

news

[rss feed]

[2018-12-27] cryptominisat REMOVED from testing (Debian testing watch)
[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: 4
RC: 2
I&N: 1
M&W: 1
F&P: 0
patch: 0

links

homepage
buildd: logs, clang, debcheck, cross
popcon
browse source code
edit tags
screenshots
debci