cryptominisat 5.8.0+dfsg1-2 source package in Ubuntu
Changelog
cryptominisat (5.8.0+dfsg1-2) unstable; urgency=medium * Try to make the build reproducible (Closes: #1003993). * Bump standards-version to 4.6.0. * Document reproducible-build.patch as Debian-specific. -- Julien Puydt <email address hidden> Tue, 22 Feb 2022 14:17:45 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Jammy | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cryptominisat_5.8.0+dfsg1-2.dsc | 2.4 KiB | 10aceca40908d4d4247c4edd9987e044a4fdb8653d43f9160eccd0fb1588c806 |
cryptominisat_5.8.0+dfsg1.orig.tar.xz | 440.7 KiB | 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 |
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz | 6.1 KiB | cc55a518449703e3d2695cc59a3fcaeb4cf908aa73d207596800843c1d0be69a |
Available diffs
No changes file available.
Binary packages built by this source
- cryptominisat: SAT solver command line interface
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a command line interface which reads SAT formulas in
conjunctive normal form in the DIMACS format with the extension of XOR
clauses and decides whether they are satisfiable.
- cryptominisat-dbgsym: debug symbols for cryptominisat
- libcryptominisat5-5.8: No summary available for libcryptominisat5-5.8 in ubuntu lunar.
No description available for libcryptominisa
t5-5.8 in ubuntu lunar.
- libcryptominisat5-5.8-dbgsym: debug symbols for libcryptominisat5-5.8
- libcryptominisat5-dev: No summary available for libcryptominisat5-dev in ubuntu kinetic.
No description available for libcryptominisa
t5-dev in ubuntu kinetic.
- python3-cryptominisat: No summary available for python3-cryptominisat in ubuntu kinetic.
No description available for python3-
cryptominisat in ubuntu kinetic.
- python3-cryptominisat-dbgsym: No summary available for python3-cryptominisat-dbgsym in ubuntu kinetic.
No description available for python3-
cryptominisat- dbgsym in ubuntu kinetic.