architecture: amd64 component: main package: libghc-what4-dev priority: optional section: haskell srcpkg_name: haskell-what4 srcpkg_version: 1.3-4 version: 1.3-4+b3