%FILENAME%
haskell-bv-sized-1.0.7-4-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.7-4

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

%CSIZE%
132561

%ISIZE%
717837

%SHA256SUM%
0069bea7ffbc4fa6c1a77b91f094eb8581d37cbbd42ee552353f62ae0dd9668d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/958ACgkQeGxj8zDXy5ISTg//ZtiEf2ZLSwEzsUAn/LQYp5fddkup4vbF24e10GkTYzW9Nxe7rcATqYyyfgbsZvumyYtPIdpMgnqwbA/bj6U2XdZCUQQ98VFugjwFaUMiPCnobCG05mPego+tK8dmfgOhOwK5NDeBXNYHC1CJbR7QqbD2ZoKUbCEPSK7MYJVjrNvihOO/2Y42ReV4puJyjXt0/coJbjRjVgLW0mqzs8m4tpyvbzNu59roWC06V9E7ehebi7Srt5io5zKl3IBBJWQwEHLXBUy4UJuyrecA3DLOg8lmRvBYMeQs2pJXmwEthXFRb+dedwsssjrtCs5k8+0N1R1kqZ8g4/8QSfAnY0MC65dwAPpQ0Ry16+V2mi3HA4+hQ1iBkUiIa/lTpvoIdbqA9P9wHBbDJQaEgb064+PPObV8HdZ9aZM4mVRuq97s980gOSPWfzsDURAn5uC+c4ARvS0cha2Q8Z8mNLWytd+4ch/rnLOxzl/fM6oF1pVM38Ip4AW1z87goWI/VYVMwM2BJBGZp00l2V1q0NqlUlyFYSLLW0DEgSqGmGfCZKSPKVRSvQdytXgazB+fR0qJ3J2nmL+a732fEZC8IBZ/dvI3iAndKWauqQNSuYPVugOgMIFYqXiQNVLD+QfSwXrvQ43Rp2g8LzbIiQVWizL5k17WMIqNyQeHdWlkG8M8tFTK8FA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782577018

%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

