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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.8-23

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

%CSIZE%
132766

%ISIZE%
717133

%SHA256SUM%
b2f39f31a71c9c0582dd7ed5e3ad104e08ec00704862977819af3ab1ab917dba

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYk1QACgkQeGxj8zDXy5LLfRAAkGdfBOt/WVK6gYiXhiMCbP+pu1nxkjVJNZbRyiCKERlbxdGc/ryTgtGUFKZUh7zZjLbeGybB96EqogR9OyawMmfT4gwgDmoLeQqvsjZIFPJ7EjRXEmDitOTs073CMscAHBatIM2MVt+vQsgYYIEA0+GcmWLA5FCYC2d4eYaHWocnC5PmL8hpOW/MugGS0LSFt3BmPCOazILhfKwRKMSRuYHffKGJkaMEXg+R5+FJIt5JmH0Xcvjd321q5zSJZnf4MfHwemBk2x1sUFf4W99Pd7EWwPOie9Zf1tkgJ3H3G11K8YvP68weAr1yRQb0SISx5ni24y5KPsfX1J/Dd7B4hzFGqQOuizFOwdvfiF8wGHblrQJF+5sYNzJHOe96SRBilAExcYMX2pYrY9wEGgFkSHb0lo4lh2CnFPk9/6Kvrq8sY+QU7cL+FZE8aO/ZjBQ7Y3GDxEx3oSv2xS39KYHtpBL0hNDpl7EJsDBXj53PyqOVGv9rGP+ATV75wJBVwBT6xcivqgtlq8fdsKvzhfrl6/clSLWOksISaB6CIDwEB+khtwclGUH6kibMmxAdqXVgsO4tSSddqfbXGbnlbBR4YnEmWLo0SLfsyfTvEyXq3sRjw5UsdE1O4oVTsE5EGUGlrwgbPbnTg65Me3mux8ZdgkUgv9O7x1OweV3UN0dii84=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792578339

%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

