%FILENAME%
haskell-bv-sized-1.0.7-12-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.7-12

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

%CSIZE%
132785

%ISIZE%
722008

%SHA256SUM%
66d8f7cc93bd7e2e8852c650ded1d56d08f95793861edbe4c114feb1e19a17ab

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUOvUACgkQeGxj8zDXy5KENw//fQkDn4NHDQbAGVRDmVM81hUTKTYCMZk6z0Vrb3ZrXUpb/yF+pVoQ90QYJBO36sB4gM3ZBOh7X143Q3lfouFK80YdNHT4IddDMaTRbaqMEAo90V7WqrL2OnpGxDzc4wngIKc9CmyVtpQwIPOF29Ap3+V5wFzAMs1s2E/NOimytZMb1IP27rz0wJf3tXHmRbMY3xhF0kKdiwYO/8J4wAXVFZ9peQDlaBJmjcPxWkZsg0Dg3tZVP6OVLXF2feZjn3QWlKltFl+3UFA7q/w6XmZoQaCRagcXSKYZZq5eUlZ0BZbqXT+vNfCHiCooEQHwks3JAXDXCtaQglozFVazuBe/qHcg3gDdbC1iPtN2uFTYYr26lDZCoAmZxljk70T4v0tbgz8BpPI2QUb13qYYC/CBWuf3JBjgVu5TNRWv013iMzdxe80WQDBpDyNVjzhJU2m9O78g3Zq9Re5LgVNS1NfHoRbjS3CCjsVfANp6v/7vJ16KwIFx8NBm37Bf7PbJ3JdnbHJBHS61cDnIy7h0gM2Ux5AvG2Ww8p/c/OyCzSZ7GLAs3jIafiEowszrtuvROk8B4uAf2pW48IbCaqx6q+umd6dHenauPRW4iYYCv+7vhQehcgmoJukcOtwMowPuxO6JL2aiQc5v5Hp40S+wZuQ41Q1Db95+fWDB03I1EBTbf78=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788099288

%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

