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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-128

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

%CSIZE%
132659

%ISIZE%
722049

%MD5SUM%
7626b064556690707cfa24d4eca8442b

%SHA256SUM%
c8b49ffe42f55b91b1df2f983fbb4b1943b9d987132a0f21a14bf1810ab4f108

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGs8cACgkQeGxj8zDXy5J8UA//VcKhjl8nZqKgDeYOiCuMvAH/6UsiTmnl49wB/BKszyTOW/kt6XH/z7cpjwIVOvEVUxLDjzug0HAc4ATc4+WWBEafPacmPqaojP1ECmqoYmvbqRNfCoi3Ji4kvq+H/UssiT0pZnIN6DvmwFKsozJTjdFnwxrVaM6x25LEzaQDALbawBmjFNd2tvhgrnHt2uAJcXbhf2M89CKlGOILoYYhv2QHb6We7SPvJJQDMPjIUO3E6gUXGjyqvH27Gf/viOCjLFHypuv3vyAg/J7qKnG09f4zBqpzBgVN/mjCCy4JLNFa70V3OUpcz2yg0NWUGbaOyoLxbehzw4NCSIVqusNqXVOoRMnGmQtN8XHNTW0hx4OyNEP4iRoGnNFETDveWKIuAo7FzK1JJ6GFK0PrjqD4biJcILWYtesuauso+xXhvXdwKX7bZcJ+wHPgI4PKakgFIdZOopraLLIyxYNT3Y65Pjs0ncowlcHVD6VYA+hCMHkcIEv0tCj3zsHqolASrWDe3X7bIZWZAoNAuOekymgWjt3eg+tiI1E0o6hMgscWTf1BYu+VQ/qsbLtTyiFVfXW/t8V7CWRzvnKdkQL7nRvsEEawFnoZ8T+5+seH2sMWUuSCcpEtjlV1Eq5U4TKs53NUnYBJEnps1KwnQKukL+NqMl2eiGUVTYZ7Z0aZ8h7P1QQ=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778824118

%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

