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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-142

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

%CSIZE%
132661

%ISIZE%
718013

%SHA256SUM%
3a5f90cc4481142a7f620f74228a4fbd3ad6bd4eddf86953e9b2eadf7f3f6f90

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo5j8YACgkQeGxj8zDXy5JPsw/+Ilh+j0JvrZTYHV/d0axswXu8+Lz8TSg1wEI6sbeRnSXurY7U/jambK4RPEf0SbFYTu0RO/bDQwMBJ7Mi4VT5meOo+HuVmDZ9ru4a5Z/IqOFwCqb7D6yOZUoii3OwgQgmi29ytVWAuw68oKljyi8vim6VotHdVtjRXjJkacqqWcP+Dg62C5BWgefRLARThbgdODH8PmR8xDSU5e80waxR0xOB4CRdQY1lYO/lNRn2675L3vRzSCqhRhnnJp9b39hoKTLnLvgPDNiFbTny6nOW9Aswrq1b7V+E0mNKMNwstkozedjPnCivj0a8m3sSbjn82CDED2a15Gz7J487+rAZ+iD9+Wx9paPOwmhEmLc4vfpsIDTp3KnD6xN3mRqXbqNje14IAZ2yIP06mZBvKaYmkTRLvgunZAGL280nVHZ6Am7V/JafcURWQ9vNj1z3JtrVsqjQj76uuYn6CkLakdyH8GSazxMFqL7gTAYhKpLLExfSrn8xtGvr565e5MBUCFD3o9TwnucRAXcHGfG4wa7dEsO7vCwz/gRzhkQNw3083EAECVrO2wcl892Fsu24G084j/qpHup8Uq0/obOjeWuuD7R7XF3z7pc5+IPu9QCG5rcET/nJE6AFoMxx+MHnlI19EltFccricuhCFwla/H3YUOpBNbGfNhoQbT0zUmmAeYg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782157239

%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

