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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-87

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

%CSIZE%
132780

%ISIZE%
722027

%SHA256SUM%
dbcb32aea836dd38bb732b785a24b781eb6826f8a571da3644b0d71fabdff11d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlFHQYACgkQeGxj8zDXy5KbkA/+JfBoTPfcEN3EuHD/BSuzq2cL6bDgnVXViVqHu4f7Z3DtByJuTvKM9clSMs6aa031TVD4XRWFgPG5ELrduM2AFCv/cE9wFGRWPYd/Nm96nzeXbgvetsXmzgYrqwHYMLAox+Fe3o6kR3xzx0ilOekqd4OilbOpUF57TSaVR5rcYESuqQDWPuEqC8QIeaOdISrE2fWKMUZkHH3YUWEJA0mqaUFPXXkBWf+xs6mNVWn8GrqM/zbZctAwU+I5WGO2PDchbyJTQ7Q4PmgbKtx2tts0BcHCZLMY1NJ6org4uMiZgNWvkbhrVWzxVoCARrcpPgx0O+zxAc3+QpgXaZ1tE4ffGyUBSHFpT6TZKOW5HAgPqSOksYc481W4rTJzZqks4ydWBwPdc6bYBGv5MHbT+U9wFSCMEz+O0ixe3NU+36BKOP2Iz94ewmkzV4yjnF2hUi8Gs9nmk1ajqR3OXw0ICbusjW0PKlQxDAYtqGbBfCWSWtI5leQc7L6FwoVpHwU1kN3nQ7x7zeLBcZHaDFVG/O6bS3eHeYjYpv7X8zAvgNYtlKukKdsDS6uLeC+aEk568a0Z2GnaiVTf8WB2/TuF1qGmjEfvJJeK9HKCYpbXsm4NFEdM/OSLZtO4aNtvjZjIaILaYoiag7Az+2NiXcZKahsQOaUhm8+TlBVA2WGThDkg/Vw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1766137061

%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

