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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.8-11

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

%CSIZE%
132643

%ISIZE%
717911

%SHA256SUM%
2418e94c1e23ffe815e63dedc95bd6d8881bdaba49504a774fd79ee0358ceb46

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCJ8YACgkQeGxj8zDXy5KAkA/+Ok5y2xvYfJhYcmx2onDgWWFrglzqvGDRPzrcL5bA5GJ5EqGJ7HXVlQLyvu/Kh3DDGk6W5XwSyiTXZbzmFVcNeU7KAlFLMA3hBRUfJAJC36IESr/uSJZsOlZHVc9afAQYWf+NsmqHOGbTmBlvk56nYZxYkcsBU7MGP2B7q2OjoIL7CJdjKElkguEEwIT0MU7M5xuz2doX3XcQmqR7vksfswhZch93aLnOdpQt4rpsjzgVCF/Nxmu31MUmHisTCBBoG2mbF94BpBU7GEx9HiCPQbUvgCxtHcbvrv2xwl7a0D9iOApuFPWdjZjLvDMjwOQ6J721WbzS+6rA54IJinI6TaDU9RJ0D7gvq8jjuOqHBa4bA06vq5t8yR+zWRZHYhtcO6EH+l5Q5ND2uyVQO3uLd+HtFggCLp2f8IOZ6+mbkKBXxiH2UTn+8tgJciOCs4sGggA4CfegQG/ky+fAmOAVE78nRWKSuKMA89ieVu9/p23v+SeTWY/5G0UokpSzs1ge9GESiwNtgaSe7lQhx++1c8t7oqY/QsIjrb8Dd0Z4eZtxLO8VDKDGP0730bLaWgct4kgyMNJNykdzPP5EiEzXBsh+4uLt8lf9tifApZOAJG+4Idd3oxtvty5XmKbuuW/WP2KYtIneBKYdplpI0OTqoLCu8CkKuMIXUIdbrzk0CJE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791109042

%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

