%FILENAME%
haskell-bv-sized-1.0.8-14-x86_64.pkg.tar.zst

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.8-14

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

%CSIZE%
132496

%ISIZE%
717951

%SHA256SUM%
98df219109adf0331ad3fccb039e66723030e908c10795a1684992a88d37f289

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrEENwACgkQeGxj8zDXy5JrcQ/7BJstsfjJvZv+svIMJJuXEHqOOOpwQ9uBx041agxgiP0wNcRwV+qt03vW9MGwbTuzqgGaycNLc/KUxhzAjOCZ4FyZ6zY/ITxBmHtj3oLUUm3isOtsJkvtbPWAEDjYX3+1zSCUxMliLkkFTgcE0xqylhPQiyjm01USa7YCt3BQ8kaUzgwds+IOnb4DX9nJcFfL1GKHcLn2p3TABOIUyCJkFC5KUcCY/sqMXf0HIuBnovIf2Arx/C41v/PHtWOyeuRUpwAhH2VYXDbWA+dW87MZ4c3SwDXrNnQC7biWkxQ9d0kuFPFYuiEhJZHjQrdqc5nnouyt02SFC3OVDSlSEDV/bLq6ZVxxFpXvpeWepxmt6YqO3cpFeS6RwbTxu70c0EHJG895eSNsFooGdUFjXzTQOqxanGs3S7c4ODhos3fWWIlpNycsrpXmzT/p2g8T5wNj/Zboz511yMCdG7skYUKgrf6pVGcZKPm32GlK4jvJ4c9gTysMCckmHZd0/X35tmUbxRE/gtgfOZslvg1E+o+7ap7KC0m7n3k7fvitotje2AnIga57ZbGeKaFsJ7s/vuYe8u8VUfVk5rAtH41KdPS8l5dd3SWxDLwVi1MYxYWYWp5GahgMcyDSOIkATW6nqySS8W3XH0Smmt3fKG1flntMECHmDRMQCmKZEw4L2Yonfo4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791234241

%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

