%FILENAME%
haskell-what4-debug-1.5-6-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.5-6

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
5447

%ISIZE%
5904

%MD5SUM%
d8a0f2d7c2827950c27d89b47d9942ce

%SHA256SUM%
d6b9bf8dbcac325f9fa5cd49a7dd63bc943eaac2d4be4454e5bc173fa21c83ab

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWEACgkQrx0hme8KPM+dLBAApVYWI5fTcTM/z98sea5fFkbR1hNegzJn7hbSD4vmvK1GkY+VQFBbfd7VLyUYHuLkUesviTNGyPj0pxIW/ppcz3g2vgM3UvRYcjrYfRs5kzofShuGGhop6ZFETcxQ7d2xlmpm2U1c74SSwb6gwvzWWc4hIu6EKdnjZ+tGIw8nWbOuzYbWVUwBz4jGkzZMfst91CbMpVDRBtXjl1ytH4AFb2qkX/1+JhmPh+tIMMLl/b+k3xh1rxOtyQLKaBQOzVIazFS/4hlNYmgenHFkMeqi1T3eoVOnMiBBW6DybD0JnVwhviptkhvn4wv7ti+a89uCMMLqVQk3V4hTNRD4w3yaqwAkbsMvnl5kypzrt7ASzaviILeDqdXQhc8CAIdieZUl1eOUhusWdDfULay01i2btIFzeldn5mNxX6A+odV09U8FSJJhtZcV0NzHMhhXdf2URUensQnxENLli9AY7TVx82fWPggIlA1fapPLKA/c5qs+juOPULfgubDaRbjeJSCmt5KEHFZm3SPADX+Htb5nwYJW+ILEMO3qB3Xu1G8Xd9uFT/V9u8JoyNdUxs0rskdSYP8N0mEBhJmRi5r6GrzoN8i6Qkpg5qUR5JhTykes0dbI2/SLGCbtNAQHHxUb5M/34mrDQY8JDEE2CHJ5m4LjVr39TPuYNhefXLl2b2nmz6U=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707266282

%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

