| Artifact | boolector_1.5.118.6b56be4.121013-1.3_arm64 |
|---|---|
| Category | debian:binary-package |
architecture: arm64
component: main
package: boolector
priority: optional
section: science
srcpkg_name: boolector
srcpkg_version: 1.5.118.6b56be4.121013-1.3
version: 1.5.118.6b56be4.121013-1.3