Artifact | cryptominisat_5.11.4+dfsg1-2+b1_amd64 |
---|---|
Category | debian:binary-package |
architecture: amd64
component: main
package: cryptominisat
priority: optional
section: math
srcpkg_name: cryptominisat
srcpkg_version: 5.11.4+dfsg1-2
version: 5.11.4+dfsg1-2+b1