%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-93-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-93

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

%CSIZE%
201294

%ISIZE%
1149610

%SHA256SUM%
a5006d961349cbf6c8a980d48dfeb078ac0514b57b73e39ccba7071053f82ad7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZTeAACgkQeGxj8zDXy5IuKw//UcVxsqPR3vodv0PPVOKDtoUGuwVasBrW99dZH1GlKv3h1YlvXdrAHchPamRfEhChTGODt96CCUUsF+0iOx0KkzjhkU188cjNax4wWm6bUxXQDBzLLMALxzlH3h55nKV502/Km7uIuth8pmod8eqrhoUocOJJA/CwytLaAtYy6+2RqQYeDzed6GHFaHh/hI/njz4tLNhrCWcrBUQCLu3LkCRAjWyd53sUT6Hab5N+Poz1o6qMg8QFT0R1T112WHAeaKTlqB2anz7Y1mVMWj1SuTa+A3rV2iBwYxTRGIStq6eFRs4wm1i9qhe/CGymJI9PYutVjClw1ok5hGDjDaCAmyKs6MfEmlKScOgLAlh/eFNSfJSfBXb7aeZXZt2gjuCbcRe3w9u3RawlWM9TzuL5cxpBLtdyBukctEHuJyQg0w3hRHlNbIt9Sf42EH7N3zbUVrzzJeHr5BH1tXWM8JcH4/88ofdAzYDePpgfQxDK1rBtYI6tYcuAuFF1eoimGQIINovzXzlnzJVKh5iGrPLW7QPi392AUH7S2+Lwo+qBuSccygzb5XrmMgr0tmkHsyTIrivAn5OfxE1QPR3NmnskPhxH9ZtnVRUtjeB4BXJlCiAp8l1UzsRdwl64ZHjmhRWcog/x+3RsJP9DVo3bVjEnR2DVXpLFy85jw6RiC0EFTAw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626127

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

%MAKEDEPENDS%
ghc

