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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-53

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

%CSIZE%
135049

%ISIZE%
736435

%MD5SUM%
d4e518a120e4aedaa7580e11466d8bb7

%SHA256SUM%
25478cf2172aa4c1a336171a299cd557bd7e8579de7d91c0609443dc55198f6a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjByS4ACgkQeGxj8zDXy5IYWhAAq3cg57BT/Zywqz3zaVk0+w9q7QSk8Bm7qCMJ0598nN0zWeeKyFMpSHENG0v5/RWlOmETm3HPpbgxdhNFedPgIgfhzCwVLDzBS+J1JD3b83Jg+hKSut2lCrjSh4EjfTqwVlg2P1XzmJEwtUCJuoQ7Wxgha5pCc0KXp1xuuZj0KbO5qNKDrYEhsUyJOkTZkI5fQWRPtiisCR7VxAyFlDcQ0U/0ZbyFbaUhBSdWOIQwIwbvIirY1WgNPvxPmH7D+1hSUrindFdxKWa/DVbsaQfCRaYXVVvaQhQ26/sqCaywR/JozjYeW2PBDsYHhGjp3quqz9KFDj0mpN3a7/J1PT69EE+v9NWNEbf32f277VrXNlAl+93ph88gpVc4jQlju4GXnRUZuZsvpAGY2O3JKze8xXg1zUW2PoABs3/koMRcRa+Mc3EoEgL/5SNlMikgvA4eT9Mz3tZzrXRVrJmICrQ1HUew1tUJuICYRezaVSxrfp1sj+QCOyAEZodJJTM/8Gt+aR0K9EYillSXmb1x1VgZn83GcnqJfFFlUStxfvqiljzkk3VIO0WkxXTt12WjUdyveRk391isTQxjlKaU8mpoHtnHpM/1cK5OAY/TgaB5428rW18razFO9s82xwmPZl6EI1H+ucnCBV6CFXFwNoS41HslmlWkwTXNcO37awytb84=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1757530386

%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

