architecture: arm64 component: main package: kissat priority: optional section: science srcpkg_name: kissat srcpkg_version: 4.0.1-3 version: 4.0.1-3