%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXC01UACgkQeGxj8zDXy5Kuvg//YONfuIVoKuvwmOY4YB7P/8egaJeYrw6WsLHiv8CcFbXRVp+IpCkStISWGqEEXRwyelVWxHFyahDAOcPcl5Q+eJjUoMaHlNX9z4PJx/Xh8EWsalHlGpwl4bqN+O6zs1SwvCZStelYeWpHYffrQnWOb00FLHu+ZZAUZwiByXSU9Uyt6oeHWADrJnimkw+7xfn41dvb0i1aif+XyDcwj4yAGvsMZTGb4x09hrQw8Iknl4KnxJgDmsUOZLh16og9275WMgw9sJFQvAxLq0mBdr4iXYbOugUEVz5BXSwOG/6XltRZx59t9NR8IQz83IyxNFPDTQRudWo1FLAE/+83IWz2uaQbhQ7LQStDjL6Iz5h5CkM4MQ+0bK0QWgQ4s/pFUuW+iKb3IoI484Z3rzlHiBH10ZNRMq8W5GqUmEjQQRl3RKyX/tEVkEcTDY4/aCE4j2MOkfOFpQCf/0qIWPnhpv1ykgxXEXimJVkWlmZOCIfcX4xC8v4OyEevhDvMkGREal1CepdKCw/n88JRCgtawqj9JnALHP+Tk1A7j2IsgL7PJ/H6UD/iLGzIEM1Fk2m1RxKeJt7gdZXJSJI84oQflWGa5Y9Uu+LlSHJXqlNOtqWmch/5UzeeUYLu86seOaoU+0VwTvoG+o6HSzjScFCpXNjrd5Ahp0acayPf6G/0sucCzZM=

%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

