%FILENAME%
haskell-bv-sized-1.0.4-63-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.4-63

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

%CSIZE%
145304

%ISIZE%
809561

%MD5SUM%
d0affa91404d5d14bcea898c3ddf508a

%SHA256SUM%
6542b0374bd4e8274b75e386de97bc660f28535d9e5e972f50c5c2085da01b24

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNN/HEACgkQeGxj8zDXy5LQrQ/+M9l8SCTNrhFjKnTTR/UCIJJZCJ6TRx12faPW89jfQwc5pB3k7xicBOD3kuxaa7zLgIdQYaQNy1AiQHammKZMmPnSNWt9YqalVExBFWK1uxShbt7oTL0f9oFn4g33/JXGge8bBLNFqi3T6kSbJo8d3onZS9ObhcnCPp5d30jWkkqdS+eQ/CPLogOrEs4jH9dVC35IisiEAgmnjvX5hwAYwgbHsW/GagAWq4M5rTnIoAQAoNPgQszpQeoiV1SCCJNcG3Z7U6TP4F34PFX1q5/w9M97gJ3JLHoy3Ld7BGjN/iYeKfZAGTGo9CZRHi/olNCJvudRomkLmsPbSmFCM3jVbmolGmgzUU7712GtGHk7Iv3BNnaNx9EhUfbNGCV2/njOInSzCxmTYuydfVQQVgpnyXTFpIQBB3Zpww5WyedRW1wxewtrNPdxXg+Y9ixpLvg4UqflTSiU6SAY9QA011Dy0m8/kmmQ60WTVMY1l0PDoYIVs+kqjosE7qz5jhiPM7ZyF+9GZ8Kq7uDbiFyeJ7prB9XTsy6fizFlSgQt7tQQwGdDeOQfoBRYFFEP94wRe67tKY3lygorJv8zdt6kXVMqUxORp5vBkT1JDmUQaLubxmY8rV0Fc7pp9+nt7TY1TQVCmTI4kMb6vyJ9x3nvCyLORCFtJPIQE7m412zRvlam3IM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1666054705

%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

