architecture: arm64 component: main package: haskell-what4-utils priority: optional section: misc srcpkg_name: haskell-what4 srcpkg_version: 1.3-4 version: 1.3-4+b2