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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.8-22

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

%CSIZE%
132629

%ISIZE%
717131

%SHA256SUM%
c5b9ae6caada2948b04b8c966510c113058b64b4cc61a721a8b43be4101f0757

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVSJMACgkQeGxj8zDXy5JlkA//RwAC9/f4YaOOerfFOSilnsqyrwD4AGibLhhuD6Nblcbuqf6eIOD/3IcM+wZlfo1OALvjfKUQlmcOLLN5T/K3R4Zkr348Hm8sCUvJS7/AGWpChg9OLJCsIQj3a8Bhsu0EWf1DG2WZu+pLmv95KJsCybVEHUbwgu0a6kMNisgGAFZRxD87pv9UFxoDCEHVNGdgySWG1yeaKgOfDdDOkSmzr5e3K6UFBizbEHUr+3NWI6+vQqD8SVoYOx9gJ1tG3T/SUjT2D72lgtIiQ568qLx0zSuxmaJf5wwjm5PHBCRIMqEq4EebaRzHjLQgQav186OM7MzVHLx49tGB/GIM/f05B/Da5kFSm4T45H0If+Av3vrjRhA0r4I/Leh2DO3hgnWuPWon6jpk3VKerXjcAD7G9tFsLyVGcVJgF+5MsZJyTmwM4l8CssW1TuyW6SRZkPxuW4aEs21rzquNm4OCPlSKYDvVo+2av9zcrqCdMDBGzr9qwNrfuNy3M5DBArTz0X9UDeP5Q34V3Zx+503UA4QB/rLtJBzaAWNmhoQlHPMn5SE79yk3iY8yDlGjk/NTMXjol4JBzRdrAvlLiCVZHAXdBx0zIktW0rqDrE/TVEdmtACAdNb/h/2tQzvHqQdym+uGGu7RXU/IYlU/HS04O7IWAruUSrcjXlowoP2d5BNzIug=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792362618

%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

