%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-64-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-64

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

%CSIZE%
42027

%ISIZE%
170312

%SHA256SUM%
3ec889e16979fd4ba3aa7c87a2f165ceee071b507ff5ed9acbef69b18ede6aee

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7dsQACgkQeGxj8zDXy5LAGQ/9HyQVf03BgLWGh/0/x29unS1jvNjBewPXT5cxMdEML2IiO4AM/26NGxak6eQZKsNNgygo9bGcbcQdvJVbIFXx4tF1zMbVrli1qp5XEiPYeXN2BTe9cnzMMUE5K1we/NZOR6B+/RxqrcnH1us1l+66jKTR++kcUaK1ppoxLIMYeePBfQVFGegP0KdsuG8NrRFvT6DOY8roO4ydCgcHnTDDPeREduf3yyINu5Zk0deMnli5COtflK/etBbT3zlY9xd0eT41gy8p4TBjx5cAMPUUsgZPD8ARrryjgFxhS6MwItpPrPSsd2dtwDL7Bkdhs73xQXnwvr4Uhq5Le5oOP6oeSKafHA1DVoHvZ4RBSBPigtrYGJWc/2h1dfaJ/f4NPwoYU1bL2ZTpTw3H8uQlgE+iy3vEL15i1jZnrOk2ad/5ExCqp6jMKpvlI1W/9QXUKxI0/btjEYxec48JTNrRPY/6Hn70DTMDW/1vkogmzQ58AWp0eoEAEOMBaJNz7igZMCIbCfY2xGaaZYrSFAzy41/vuS1z7COq1AZrTPLPSterUUFC8yWPvtVzKGmq2OuRtcPc/2PfADKIp8NskQ/4fLOJBkaL2uQFPtLb/eQ627pLvyoSBRjiYCTJtixGC++GKPvewxHhXyMI9E5EmsNGujPXoJONEDUxdo5kxFyw0CnphMI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786476203

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

%MAKEDEPENDS%
ghc
uusi

