| Artifact | cryptominisat_5.11.21+dfsg1-1+b1_arm64 |
|---|---|
| Category | debian:binary-package |
architecture: arm64
component: main
package: cryptominisat
priority: optional
section: math
srcpkg_name: cryptominisat
srcpkg_version: 5.11.21+dfsg1-1
version: 5.11.21+dfsg1-1+b1