%FILENAME%
haskell-bv-sized-1.0.5-96-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.5-96

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

%CSIZE%
134461

%ISIZE%
743563

%SHA256SUM%
9220e6c65ed87c69bbb8d21bcc4697c5c5fc0c51ba0b32655079f009cf0ae691

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOoYACgkQrx0hme8KPM8+JxAApCVS9LidtLhEmyH19bYBVhsgTB9x76emNwqkcX+RXIQ76w/i5M74Aq4Hr6aqNWkEJ84Y9dS7JqEen/0yqIN3WyJbzIK9dD+mYUQD74j0dnAljudTedMhJjz4cxIcssHMVpffMg/VwL9RToiMfYdQ9uQrFD+/Fi6B3rZGc5OximaKsDcJu0sjTTeWNLUK3raKqUPTW6ZKfaw2fDLpbjMTVi9kK3bO29dzW7HU/vkyruUCnY5AxI2b1oKghtVkmeTibjnsGlOEPQQfLEc1WcaqLaRwxZRZgRFEVpBuqwzWZp72fWr5NLp1ANMIzk19SXhWaMFfWHQWiXw5Fcxi/RKXIpRcIfJTtfm0AYjg0YLdHDlaZzjFbUglnLiVouhepyiM4QUJvNOnOEWoLhaqJhkvwxjXgxtbu/hG1db4pH1SLa/p+yVxO33/sbClNaRc7wv+xDJU3bFg/LT5d7Wma76ipCTIRhCG66bQkkykS+f2Kh+h5nOeDQ+mY2EM+lroQDEnYXrEg99AX/FgpFYMLVU//apprzjpgvQp52J22hGIZL32Q0t4WFaC+xfPxUD2NkMViS0uydHCjBFGLzT//VuNEQpAGXyD1Hr7cYfGOYVrC/ZxxqDEwEJChWgH7/TnwwlulM8qhyDRmvxoj8qV30YxzwsA08Tlh7PMnuXnYix/veM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735932994

%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

