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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.5-106

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

%CSIZE%
134309

%ISIZE%
743528

%SHA256SUM%
d7f47ed126182be813224f232eb212e7dec6f41e6dec971555c622d2d4fb083e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUZ18ACgkQeGxj8zDXy5JkKw/8DKxhdeE2RLadBgpcwwaIDImQJkPIhvqwS9Nw4WexZjKZHA6piORrDxRtEqGCRthSNYEw785yV7ejCMOqi7pk/B1WavNCsp5wfRI+7txiADpX30BfDxUiDIT+QgMj22qNDD2HSF+4Q4rcOvqAZVD3/HL+MRSt6r3OlZ5d7ndAAQfGRcorCxThyKi0vsj7mlbKpN6c1a6dzGaZYcNld4DfHsWZCl7D2UIUECzFx+wmVeEAU/E+O2bzFtJ9S/qLjxGg2pxZFC/I/gQpGvD1imaESjT3Q1C/+GtkDCzWLd/DzBjEEpakh6pYLb0gfdUi/wu+4TMWmZugCKpe0rqnaBGYGlbdppw3eBSoa1A+j9CusWM1BKDPC913ljTDxo4winr0umRPOurOYLuOxtHbMSyO1ACLrNd2/I7koJkRjwB07A5BiFv0gYUAMUi9oBfAKopkzUWZuuFH8AhWhJ4JpSiTsS+3R2+o+aSttmm775wsHm1lmfQECALi7eex/yQ0HSVOmIYbydgMPQ9WyRgfmBKAisdK9/U8RMCzP0ZTTe3OPiUvvVkMLeMUNpWKp5vTSZcnlMZKLWjj/g2X8lrwFR+K9BoPgy2efnWmlKUvPQBzElVsWwMsWuohLvSxfRWPjgNmN7RnUwCrZH7WIex5GP4aECYvruHGILg+0YrCS5f9S7o=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1741973304

%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

