%FILENAME%
haskell-bv-sized-1.0.6-130-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-130

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

%CSIZE%
132898

%ISIZE%
722016

%SHA256SUM%
ac317dde945404db82f91faedc7362679be4adc3ec233dc348d1ac6d6f697f7b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTENIACgkQeGxj8zDXy5LamQ/+LPZApQUE5Wu72Q7fwskslCzALmVNOCXshMRPA4/I4NVBIJIPLuIIKU1WTza7YCHVxiDLATontSar58XVV91XTuX5M3nQxVfviM+i1taJrx5IpqjcPQ8BklEvG5e0NmHg5iLeLLIwltZ2xvYsuv21YvxYt4a/vkZRKEUMldXZHwc6gkikhzDkPzA6H+CSqUQIVjcrfxJ5c3b6Gu6gGH8U4cR+1UaamJ0WqGqUtCksRl75fbicMSCsV2SP3kPmXfclPKZz3G7bx36O/EzRTmEqmHhnFLpWcFoG+1SuSVQ4s2EGCUW39ZrXqvy5N7uPi7xRjX9lorRI29D13YhmmnmZIuVem+LZfdWmsQQ0p04r/CTOdCvfWq/H+fowFrgKZs8mfndAGkYaZW+e/fFUf2pWnq9KFB5mEo6a9audgulPKcqTdUogX9TeV7+aMWygtFs4QCSYr/vbLUzlGw/Hv0BjznKg6KvO56Scvq3ulYHzkcur/iyfmUWOs5aNU23k8a/BCaiJvuqj88T6NhIUsMue8o/vhFWwmlRQsWHbgdWRvgQiWds6TNClnn+L1sUEfDrwXSVOiijd0G2MWOU/BLDaxGgLD3sB1acj7kijaQHejaQxe1e7B2pjAcHaiA5hj0tAALGd8bX1NACm4rH0PqAbuMXQH9Zk4kG5Y+Fp6plqRjc=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1779634351

%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

