Package: cryptominisat / 5.11.21+dfsg1-1
Metadata
Package | Version | Patches format |
---|---|---|
cryptominisat | 5.11.21+dfsg1-1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
reproducible build.patch | (download) |
src/GitSHA1.cpp.in |
1 0 + 1 - 0 ! |
make the build reproducible |
fix_typos.patch | (download) |
scripts/check_lpn_solution.py |
2 1 + 1 - 0 ! |
fix typos |
1