%FILENAME%
haskell-bv-sized-1.0.3-78-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.3-78

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

%CSIZE%
156430

%ISIZE%
874449

%MD5SUM%
3c3e8fe6ed002313c55b9a8b5d7f42bf

%SHA256SUM%
bac42d51273bc3999bbf9211d3b559f0dba89e8038f0d07bc25370c8f85d4c1a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHxXiIACgkQeGxj8zDXy5I5+g/+K6s/ZkZSKlQ3gjj7hr0Lt6laHZ47QtHLkw7EEFVPrzbjH8VLHSZXCCEycNIT9UmHDGZZpAuRKn54h7gvWtl8aH7Y+PGAI8wdGiDoPyizCuSi0rFIv+LIcIeCgehdC5rj1ysiHD0CP+mpJ37kFg5euMivKeLmZrzBEULrcNMM/mkdFLzIYdxUxOGZ8sPDzdU8Sd5OEvwNNyK3Czvif8Te4mJaHEOxsDpQfvWtB3Qxed3ElgwXWeNfUU/utIlWAYAQhp3uW0glwX1Sm7t/Ql0GogPHMkTCA58N0TIETYySeimsX2d7M1jSadXtXgEnZ8SFCZ6UCLxz6peyZIiDk9n6IdKqhAoxzRkCkFkdDWY4TjruY1C/m6nKJrpVCxIQhf1yBaBTlIIYm0K3DjOrn23FChI3XP64caLwUrACZzSUbwjposaKNxkKQNWrVN7TJ7GOvaqW98+CwgyAUpqxLkLEbZ/IQB11fiZD822vL2N6SNOo+PeYuvkn2cLUNHiOyRUxO5Q08Sy+o76nUKYvODW89iTrQesk9x8e7fJjWkoAi67MpQ1u6vByz9zUt2tjDj98iZjJsEPKsw+nVGVZ1RlmuMTRfinuXWMwH6rPJ/NIibBukNk6gY0RcRQQj2/N8pJaDUrFK+OrVlmdzWb7cnnpF0RETy/qkMAZAfX1eegTdY8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1643208202

%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

