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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.5-28

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

%CSIZE%
150611

%ISIZE%
861409

%MD5SUM%
c5372e9a957ce6e917eb58e7999f2f7c

%SHA256SUM%
80ec8adcb8e50bad724eae94ea9d3984b5571bd89445043c025aa70210ee6c65

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSHLykACgkQeGxj8zDXy5J6dBAAq25Yz8i84saagaWOsT9RzzqYZ4B9wNIzvDnuDpW+dIzo1zPAhIWkeRBvuo5gTq2wuHXkTo8aEq1agl29KFzRshY9xQDS5iSjYz0dScQCqDprU/xFsRWFXdEDhHYSeqRi4d9jhYYmFfRgKJT0amJ3vLHAYcwZz/cCV/iHkoxR+5dNEmN4a6cJdMyPY1KX1NV3WnouCPQhIajStn6qw9Gbuddqc8vnwn2uAczYjtuVpKVY91IGmZk+K3ZajOcLV+B8iG4xo8vHEPK7vW/8R5tGSt7BRP29pngqK3N0KHgZ6FlbWOHGiAV2qM5Jh3AydRZi4WjPawuGcrcnIeAY35Hc906OUIOR7FtToVJNKK0Gmn/UlUAJHbob7AikSsWmorgsEiT2yrilgbaUS27Y60SiV/a4V012WOOLRxcEmgkfyz3Fz7reo08nh/I7ckPXjfYvmdqPEHBwVVATw+qqx01IkrX3rx4HdAmLxAr+tm8gxi7tac8dNA+ym2Ki3WQCfFoHCxmWV6t49bMzg26TfcF0CsZookLckxDu6OmLmSEdBwZScWSIJnx5cdL6IufZo1APdwENmxVYeCzdfHAtvpY/qkS9NH6TrdDkOD0hiQn+5/fwdTCYMcOgQWKMCClmH1b9PKMs86kuqf23uFTrwtFaRXdUTb3e+2dsI6xtdV4jzLk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1686580942

%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

