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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-123

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

%CSIZE%
132846

%ISIZE%
717894

%SHA256SUM%
d738d05b937aadaf2108400ea9a9c991f19ba655a6a7b76278c5d7e2d7187a9f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7Rg0ACgkQeGxj8zDXy5IOTg//SKLLyeklQDLX3Qq4p+MjDtYV7kixlkrm1WwwgAECX1AqsSr51LbX8ktPe9pKkbYEU2QeBIvkQDDPdCdEaUxAd1RjV+Mxn3B66LndQurywvRhrsAtDvH4w/qM1B8VDSNysyi/Mpfcs/wJdTdgd+rrEE+ZyB3EX/urXlxtkKPDLlGi3ZdY9rUDJwaMoCIJQrf34BjZYESaSxXmHghzFYyC5O8xkJETOuxUuGcISzrcWlSSbiZ+RcpTX+IMkQOtaE/XQKnlidb7ppD2vaIhoSK2p2ZQoANmsBTKPkk+7R0NOe6dYv/IGJPS7khAZ91d0p3/yxwyFxXckvQvllxjncLn2WmkkwnE/DYfoatTLXxw/EhtEuN6feEs7WU4Jc9okjVz4Krzx1gfBhErbGk8ZN2ZTH6V4MFizu0uxDwGM0KRbWp9Cpu+ythcViR1lj29O8+hYoT/bPIHJo8oKX6xaxkdxC5VX4S/TqpPXMWgIxjurx3OlgKIxCaLDwIx0tzdtUeuXSugLu6B6GQceFSiwYc9SXvzempiHmZwyTSKkj3w+bOjnwDpq7AIZX2nX50+YxKNMmZbQQmUV+bRmG1G2lMjEtbORe6FDJPP2jVHWLEo5j3pJiWfSYhJ/OeKd15vIQMBpH6TqwoHGsrbv2hBAAgLmTmWmQVNkkUfhlzpHylahko=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778075131

%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

