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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.5-67

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

%CSIZE%
150470

%ISIZE%
857529

%MD5SUM%
af0bc19eb3962baa22162bbd41ac49c3

%SHA256SUM%
6df73bcfccaea99375daf91bf045aa60a24bc15f4afddaf404649e4ca92da956

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXC0FgACgkQeGxj8zDXy5Il/hAAq3nXmx8c8hOmFS34xFiZCq8JbjR5+c315fYtgjNxPqzlB6lUbM/xSRCJrOvXRQ4+ZuVqVCXNHI9BI8qLwI5iKoFckjclLyb8vVncJBOokGfa6J4Ni/B+4YSI5k+AumOgMbZZItEp3vi/y7h09hpaKKmhK5rgk6ZddhElLM4lMozvOuQWWfmKF3UvAjRrO6XHnzeZd9Vdwjdnv3/IAiJ+ZaaVNBBbiNeheE1TXbH8BGkBDwpgnE/6g35nGrMrzBK4mN2dIYMXFaQ/p1/DQnKrxtEojMa3Rq/j2fXFOJFJrG1WVbFsoVoNePAAiHSXPfPyvKlnMs3WTDL/tMbe+59Hx7lBKoTSSSnr5v3kDk2/GmIonCWa1vbaA9Hu4k0qzfsIbhFUo9u9y0W5BgWXYGJHaAoWYJoHOsm4AsvlL+/4zcj0vGhrhsWTXFol/+SFWfy3Nhm5hapSzJ4Z7+OHw5/xVP+s4Dnvf4+4Viobafv07UehktG6m4GMfglgCPUCKmUzTX6l/7+G6FtkBi8WzD5ibWUDNCqKP0kQH+OGGs8VL5CLbnsEIjk62MA71k5bWfE00F6+qeQzGTG3mNVsC2Mbw1151v3vRs5b8kvEQvISwTWPk7sA6x4UwQ7bKUIh4ps8sPMIdyAb3p1y+zp0Idp6NtL6UfaB+MZwJCFBr3HEmpI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707266105

%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

