%FILENAME%
haskell-tamarin-prover-accountability-debug-1.10.0-140-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-140

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

%CSIZE%
37083

%ISIZE%
144080

%SHA256SUM%
80e728836b9bd8b98884a890e36e963677a072677c978c7075b17d1b17270ca4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwNxcACgkQeGxj8zDXy5KrKxAArmDuNdpLSVU0MA63xRCj6h/ZI0FcKg3Xlr6d486HdW7jBPhtCGI6mS1xWw7DHkyDuAlTwLpWOUIu/F5wMZxFnemwnCneMJxkci3QiXWGLArA45yaCpDp15L96qYsXFRp6MrQn5y5oT9MYO2AnPjukS/s4vIqDRl4uanFSUNWJxx2MDiroVIrm/GatGtcLHz/DvlKpT5jz/18E58RKxK+Ia+sh0I1cXornKa7wnERPCrEp6gvt3E+TcmphiVbDXgZM3TVk4rTLDixRGp/YkdL4HuziGV8jhlN0AenCVNxuWbCgmlrWDwgt4UF1yyyg8SjTwHWQBMlCUznfhZYpolJBuRTuzXEaKXfjCHy4OFIwpIqRvjJHQ2jQQAq5UA2sFQA/CKt4/tjuQ+byBGzkXTLm8fMKKwSqcYtCqTvGzs7MsRekCbOdVQH5QdFYjmP4ngXvhl3p0f69jQD+e5qT6HWR+JgYkVc3zNrJeWYPCutjjBVt5dphfTjlNvpnL1jkNp9VRvillacz39EIYK8SLRq4W99EGGmuio/W7bYDSfJ4FrprApG37qq6C+IBQt2utt30pcTnOlwiAAAlY14DwwIzC965iVininOc5GxPWULat7ckBkuTzAfyKHNcE0vecE9vxsg/pzel9XsQ4OgEux7Sa/NiqDynbpx/Z6TAbdD0s0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760573177

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

%MAKEDEPENDS%
ghc
uusi

