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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-144

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

%CSIZE%
132709

%ISIZE%
722029

%MD5SUM%
30df71d900b25aff35e48725c3c07a87

%SHA256SUM%
33fce78717896447add6a939df7762a26dd3d545bcb793c1ddc0fd4c99d45481

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo6tgUACgkQeGxj8zDXy5LuchAAsfukCyK658eTbabEEk6Sigf/EGUPZ+0799T0Wkcg0DjG+iECU8Q+DdnkQqvrinZkMoi6pulSbjBZ3Y/AGP6Y8tqFDuFggbkXWBsT455ksMVZz3/MpSU4ThDHSHvIplovHJta5vxYGP/7uHiqkgSmRY3EZiFwyWnDHwlKmU0djrBBwxO3Jy/6PZDErPtBsM6OGyNGDyNzV+1afIwnUzOOFgmUWjBFB3GgRLRuNj4rvcYFU2OEQgVht+zIFMI7Cn7bEogVtlHV+Xa1w7tuRfMbHirz06FDCr29Emb6YBJ+tnhwvk+MhG5GCuV0hXquZRg7rPZJp9l/e2onISoptW02gqBQwBTRtOc3DAS1QS9EV0/IO3pQag3xsTW/NbCqO023f7hz/SJLQKJeIlYPQBdjWC+UrmZSNskXpbONVDt69GooIsxmguCcRalY+gihtomxTIZhA6vDif4Wj9xmAbr57lVhuGv1BjvpZyz+2g+8TulXo4ivCJwCmM68I/9nuHxwmqpInPoM/O4Nm2cZ0bmA3dcsE7Un599dRHClTu+Dih3gUvkUK/6NzBMTCym1lErGWVNzP2VGg1fwx1sbxvE8HXgq9CP8y6H5UZSjni/f1UkhdvdhPoNBnuqrwaFBWqXlEIMDFJx+xPRVg8B4DICa5YDZH6l9VM5Ahdopm+TFVSs=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782232556

%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

