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

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-41

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

%CSIZE%
266966

%ISIZE%
1212845

%SHA256SUM%
ec2cde52992960e6dc03be15878bfca2cbd2638f3f21a36a154c0569645e728b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoz0iMACgkQeGxj8zDXy5J6wxAAraKwl8XgY0s+KIGsYSyTE5LmSXsYll8YyEmamP2+3nD25ss+GMMNNdDAnW72fr3KsWigAhp3M405zR9ScOXIE6USiyV77unVcuVLaQuMksubwevih+etjQ3MdkBfpAZNQov7qsVEVAQ0xri7PM2H/duCREJUY091HYfUsbUfkFDeYz7gEcP6ZggqM5hxFcmJIE//4pHTrMbEpCo1HJGcPdl0vF2CiE5r0fJkSJccEBtjBK4DRys3bAtVovjdcj6lLDHGj0y9KEtc0nDU4Kq5zNUoPtcpI4YOonvtoSqTMhvdlGt18k45MdpL+402KTNhkNPcokmDoRhSKvAc7+XmXEVoBMj4MIM/9REtFbf1Sc6zONsDlV2wI7huQJyM5FqKzUAiG2qXhzz85OaLjMkdQWcPeD3WGzHAkCdUA5E49vtlxXavJ94Rxx8fm5BCo++EWeutcOiqE14F4+iBh5/7BU26OmCYE2PiF2cFfNtXaZj4Ketk46e0XLUvDyYXvYQXQYAJJy/KUMvx0GAC9rFC2L4ohEcH8D5EQ6/ofGOUOPa9ePkDfgU09b/OKNu/ZzO8apKKGhj+xtnEBob2ZSHtdFf0ZrtMJyH9Jarni/3bAYT7QVYg0HkaAWKST31+cbCzlaTUXPjQc9H3wSfVoprkqOgmKFKxe1VSUcZHig1GP7k=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781780993

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

%MAKEDEPENDS%
ghc
uusi

