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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.8-17

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

%CSIZE%
132522

%ISIZE%
722069

%SHA256SUM%
fadb35f2fedc769ce8a7637b06cc4e6fa4ecf05faa37076d72a4efc019aee081

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKposACgkQeGxj8zDXy5K1bA/+NDr0MURVmsfs/yA9U1r1xH9UyMQMLVz9CHInBdo5i4tjuJsglxLF6AJEe5Nq0FPXY0eHf/VSRYVm7KVRudnSX2QV0VMI4bCZVfOLbqFd+34IOhy4BD7YlsdRqbTntR1uDSdavBzbv1I7SRzU9BbGduTxy8ZABqoMfRVrUDvk17iiRr/cU98dEqzoUgW3C6d4e3E7ADuO+r66fu59Z4Wcy9ZAAfOBoILHWHmQaHI+m61kL71WsKpp8O1m91pgWakQkcx5KTmvH+a1vORIB3SrBGapz8nPSNhnIMuNOFVK9vknN0IjV1+lpcE+e+eL+MncIJUqcEYmLnBbevyZSztWuMuYAXd/ykP4gqIkcwQx0hA60uoNTiGr79B+PBXY9sLrMB+cOgQ1fF3lnstu2rA7z8mvQA4yDECOPZPHXNERn891rYqXr/UyGocNNMhQt4gaXOS+ssEisZcc5e6TOiJ9i9ooK+7k15EJ6nGuK1fjobDZrixHoUjbqqbS2P5Q97fgqOlRWuEHxxyJMrcaQZKej6k/XBBXwMH5z1Yz1cisYfn+igXjFB0HTQODPfD7HYJMmUfMDfWWnTc/aeOfDo/pHO1FKwGz5bjqF8z9Vi72C02oMz1ZFEiRidMW0u2A43a2KsbELusyZudIcuH62kplCVF5qzLoEm21vh598mkE39I=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791665774

%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

