%FILENAME%
haskell-bv-sized-1.0.8-1-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.8-1

%DESC%
A bitvector datatype that is parameterized by the vector width

%CSIZE%
132707

%ISIZE%
722048

%SHA256SUM%
c670ef5c3354db4abecad68cb5da8658c210386013ba498062541a469597f172

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAKEcACgkQeGxj8zDXy5I0DA//T+vPcSUOg+Pl1JQm7Ci93m8D1yBrV+g57H/ZFMEmov2VttYEMxcn0ONXfItc5VatKPiiFfhmwHmaIZlatD2Y/OyFlqnrOsVNV+BGx4ub9OydoX3cJhuGhI5CyNpTDmKOeu7euhn9eXTxqa7RnuFtpVuxScGp/H0iNmK+1xXEDMD1wDo5rCBItoSJRE1M34+KhqLulURpVu7mGPcUz+h+Xdh6V6MOp/y6jBU5HRkfk67C6bbp+EQ+BTY3GNQvEM6Z4SwlYe+hML9JFyJYjpOPV2c6Q2sCf8xwJ6miEmOK0rZCaIuJ5DPDIM9wkGaA+25WjRbSN1fVgmyjom76M7lIRHSPhmH6fIv+qEquuOXZL0zAQhZLilTa41k8/SYLGhvsBjNs4k60V3AU9wKh1OmT8VZGZObYBvvv3Xv8FJibgm4ANpNMTff+uMA85FHR+/eirDtUbyGJSHXttIOKixsorp+NeaKx6rO2oytclgneyKNPhQMaGY1gq+Wwu4FR72jFmnn/tQzn2RnGPjmKLLKHeL0MMx+PingeyI6j+w1xxkeKbfx59wu8Ha4+A7rsqrVeYC8SBWucujhGAtbspV1qlB5Ina/ZcvfMc7/Q6t3jzx0K2tvMBgaY15TmJqps1sRBoVQGyBYQI0q0f+Zfd/H7KirZAVW3iEgAHEZGhtceErc=

%URL%
https://github.com/GaloisInc/bv-sized

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790978102

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-bitwise
haskell-panic
haskell-parameterized-utils
haskell-random
haskell-th-lift

%MAKEDEPENDS%
ghc
uusi
haskell-hedgehog
haskell-monadrandom
haskell-tasty
haskell-tasty-hedgehog

