%FILENAME%
haskell-bv-sized-1.0.6-131-loong64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-131

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

%CSIZE%
178171

%ISIZE%
1121999

%SHA256SUM%
98e9f7ef485061e92f25391931bf44c82ea1883d42fffa3915fc5ed87c5d705e

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaiYcUQAKCRBcdK4XC9oUMyEjAPwMAvWgJxs4Et2azdTC9jUQ9StWsWV4SMFnRbw2QLGUFgEA9+x1sMqBbmG4ZvPE76OciwxoNXoGOufgO7lTqIhJCgM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
loong64

%BUILDDATE%
1780882473

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%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

