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

%NAME%
haskell-bv-sized

%BASE%
haskell-bv-sized

%VERSION%
1.0.6-132

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

%CSIZE%
132637

%ISIZE%
717943

%SHA256SUM%
db5a98ef7dc25b3b4bf8e2a0bc72ecba2ba1a3e281175afb41d6c2d27d65dc7f

%PGPSIG%
iQIyBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou0tMACgkQeGxj8zDXy5KboA/2LXudgUtRptDlXAxhX4DMKEfiZcXe4XqxMSq0e6X1+WmBHkupV0zNf4BKr0PIhvlYNkcpQF+za9AZjnXApQnETTvkkIHXylz6kPvmLXYYux2YO2/cGePFijNWshrloMPLN+79jxvTVu1t6osorzz6w5hgG7XydH5vgbvRMzcFynANwJXa6UWMclkOUxnhgFCK2iqj23Io9ZCn+uxe1lEG7k15d2B1vwp8ATNyZ6zVrODXVnB7SpTVOtaIggtDbgAZkZX4aSxhquzMRAzzBO9mn5sa/4Gcqdr7s5bFqZ/OGMgqq4I14t99Q8j8fJXRSriNMgBNcPFZ0KjXXfL4N1ywvCyXTJEw3wd15rbwnwvvfsfOB3oIOgIOR7QnuPy+O2ld81P0801Y/PVPHZcO2GtVw7oG8XWWB3NE3JjmcJU85wXuGfiGSfN6LAvKXuHZAsrgVcBIgs5LnOoVP7Ovwg+2H/IYT3HAT48vf+dS+AcMls5lZgnBb8VZBoEi4BHAFVX6Jx3VEgwov4rAcz/JL5fta+pSEDpvkoNEbVHG1gd0YtpzurLRJ3J4dm/EgfRL8BTCBwfrqnS+wWjAf31EAPwAAIb2iCMQTIStyYQcYpcGWUHS3gsZdHEOuuRL249G4vvH+Z/ltIX53jIScXDKEZFI3LC1JBX8elRsXPQJjmo2mw==

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781453494

%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

