%FILENAME%
haskell-bv-sized-1.0.5-107-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.5-107

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

%CSIZE%
134370

%ISIZE%
743610

%MD5SUM%
cf2c523aac8bdbe451b8e2c266c8ed08

%SHA256SUM%
e78f50105330739e899808749fa515b305af8745282260ec961f284834b980e6

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfXJ/8ACgkQeGxj8zDXy5IT2g/8DVxD5bzH7Fs8dnb0whCLyXqq5/caxS5pWJjPNFPqJUtf3mhDqQWEgNBeIfbQlmE+hIk1IrYXGAsO35PPcJWCaTAsOv2oIU5wKtb91Hc3i5u6rOY9wVLtHz3v+R5BydUl3WXEuKZ5tRBTHFx0MP9KLbWTeRxit73vM7+dkjYuuA3XwKL4iCoyDBvn+ek6HAoDiJ7uRexya1ie3ewSZpxaTCUC10jQjHxUIj9kJqpJnXewEYaRESKZIu+HpJqZZYhoSA4VmJs73oZks3beVjxLq1k5uNJ+anAWa+Dw8RZ/TlleIKEEgB6SRd408yftJvQ6AwuVq6s2mqodUyM5ofA3Ke/22Zm2spua53yXp3vsjHpeNcVHwE2DSf9/UrI08CuxusWindCUto8Fg7m+vkiAWkXQhgp5IR8Rub2gPyhwzlSoSespA+aqlRrz3jTHmZAyNfBmRIPiW5yS5e3Oltwfx4PwEi0Nqs6uZ4d4PFT/9ZTRfuahQNXWtdhQKGJJuip3tsvwIXHHObq2WvHjFFYpRaPRWx/Fo9k4ucBWZxfzvO/tGHjrM6GmW/5tGrUZnWGiD38ibC7pVnpQzN/XIUjiiM/w2THW/qvNMG8/zDU0Lsrrt+24zJsyY28E8GO2Ze0wOCRG+ausQq2F3ogxq7Nz9QfCF65A/jAPzuvNJKfasxo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1742153696

%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

