%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-41-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-41

%DESC%
Detached debugging symbols for haskell-tamarin-prover-sapic

%CSIZE%
281689

%ISIZE%
1424836

%SHA256SUM%
a6bdcc598120ae3899e0ab56018bc7865111de710170e8e030478705f2577803

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoz0GEACgkQeGxj8zDXy5K4uA//Z1yzBDQk5i8mO+WcImOMkcnSFhZkfkqhOQJIx68TaLOcEDatAZaeMJfgZ9ft/x5GnrEDZaq5jU8Kb3W9ps4dSid3qRx00zK15//4kx5ylRf7akn/do8Tu7nY2sqbcBLfaCWPY6cAyLacEQpEqiU/+eoAEixKNxqHyQ86BtrjgohGUK8q228/endR3eP40IpkuMvQmqCkaW5QgctTx8vJkV4io9fPanKOUQGa96WbLNIIL5Fr4goiNXxzrBwDZxzYCosE2+FGbUF6rtYygf+5y5/QV2nmmiiOG+s645uzCiWrcDYiFDPe+mZcoN3jMARh80qGHcIaf+YG9eymQ7E9Sv8FDjfETiv5AsOdi9d23M3TRfoKKWqAQMDfErL3asBboeaugXGw2JMEHm1PYsdmGq/olME8FL7kGuAXxyEvhv2rUyKxUN+h8TLirpWK18m56sBVRJ1pkN7LWobD3oRuiPuw31f02lPAg5J+tFHs3bFGdEl6KUaaHWuhgh9khN9ddNxpRyGeboeXWqzgZOv9XqFjJwgv4ke+UA6tT56LZdkKvZnwSkgVfppRXk7NhH//QL+97l7YH7YKF65iKKG4DVL3lGUC49NtBl4jNtHJH/SCMsXKRfXptP7kEg0cKy4UEHugC8cN+lnTxacprm+uXwPtkddPfZcgkskqjmqP3U4=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781780544

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

%MAKEDEPENDS%
ghc
uusi

