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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-131

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

%CSIZE%
132809

%ISIZE%
717910

%SHA256SUM%
97457a2bcba4cb07466aaa2096e39c4e0c2233b6af85be94e975cbdecef5cf40

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogJbMACgkQeGxj8zDXy5JoXg//fjiKGJBe7c6bLHV36eHVu/ZkFa+OvLrseLxzIWaVTPiRgR2BrufUOZHKkSkit6nore55wKMG07G/0PZp/kpvSHuC6RSpF46yH/zrgbSNVgWB5qb8CmnlGUJfsPaYFdviyYS2m5jLPYEEnVjOjGHETuRx4OPjgMSidZ2ENlvdXY2/JiQvStMXMi/zakHxhQxSfVUKbWiycMuKl4RkzWQW9kU7SyHd9mQ97h/gPYqPq/beu0ZSiyaI/b97P3oCPjDw9+xJeciu2lwXtRMjJD3GQ3Zs5Ox07m+0YdZzZWAtgcYPhQHpPKPrjuXxNZI/zV8UxCKEBBv/T4KHoMQRtlbi8xalh9r6u76cBefl9cccVg+v0A2Dug/Ue2vNnHug8kbzp/+rKna00/6rHEHZfsdahEW55O3oUnqzDM7FWRTW6F22LLB0KlcnQA5vT5CAik+/6MEhbbwvSEJZS/fPNAE9mr0gNnf00iFGAbcq51nMYwKbGVOLQfNXbSkC6Z5+98iIUygR0QVcqaUJE3IVabyQrPAdcq/970oLVfNJqNpkM+YUYw534R1T+NXQulD9j1Zyq2mZ3R7KnZ9XA3jRwpB+ZX2jHZLWaqpHUrN9Z6AAsHno8zx+v4DDQx2WkNwpCFAVY+hQw4yirAd6JWr0OlsRd+E1RpfZiy3tq/3bwIQpFCw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1780491627

%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

