%FILENAME%
haskell-what4-debug-1.6-110-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-110

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3007976

%ISIZE%
16183192

%SHA256SUM%
2932929a28bfa9b66de70e07f67458ef584f79febf964210eb777b615bfd531d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VlEACgkQeGxj8zDXy5K5tA/6A9CX32UdognsHb3h4adDKvbk0xupxDdKMjgXF5LYRc+Il593EEkCkcTOo+RHSc0OIsky6PNYVnEf9HOlIt/JGr1m8U67YA12tG6CpLUScS3rt8Lnyey3JxvBPkvT1gepPvcuDFP6KyWR8JQMHrgm2RGfDomvPEP6mPXFYPzXhKa/Fj239cPr4F8PXDLx0ABdYue48FLMp//nqaHzcnWdpNQsL5WCCTUuTQaNXEDeN3GyVcntOLqx+rThhmK4IaWg4UPRVgYPHLJWGBVXCVSKzC/0wCE6xokw11XFFXqbIyrDj9yNYvswWY8BpEcoJtpABZeE9zegko19jW7IoIsMyaDaYgIozWZ2hDOZz/dBobzOh50JsPsL2MVPWe6lOd2XzhdVFdt9lnKR1rsBjr/UWBMqB+/qmfNYhZdcFdYbZtsfR6pzjfcf8xRbzgQ2NU2L4uLDY0jslCAoCMNtK3OsSKRTgQ2EU7dAgd9Fq19uAFjJsFn253wxDzZRQ4gZDCMV1K/PB+8S6WYI1r47+8wnjJ2w96hF3Adt+hmoQfz4OnAFWUKSBhrf04jWhqXNdzdIOd52kxJH6H/uO3kXasOBE75/725ju7mvfRQebyTqnBrrw53JOth33H9tI2knq2im8pXnvxouH2578L71/DIqSmw52k+kf0jkOARMnsiHUs4=

%URL%
https://github.com/GaloisInc/what4

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778144740

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-hedgehog
haskell-lumberjack
haskell-quickcheck
haskell-tasty
haskell-tasty-checklist
haskell-tasty-expected-failure
haskell-tasty-hedgehog
haskell-tasty-hunit
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

