Debian Patches
Status for cryptominisat/5.11.4+dfsg1-2
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
reproducible-build.patch
Make the build reproducible
Chris Lamb <lamby@debian.org>
invalid
2020-05-12
All known versions for source package 'cryptominisat'
5.11.15+dfsg1-1.1
(trixie, sid)
5.11.4+dfsg1-2
(bookworm)
5.8.0+dfsg1-1
(bullseye)
Links
Package Tracker for 'cryptominisat'
Debian Maintainer Dashboard for 'cryptominisat'
Browse sources for 'cryptominisat/5.11.4+dfsg1-2' on sources.debian.org
DEP3: Patch Tagging Guidelines