%FILENAME%
haskell-tamarin-prover-theory-debug-1.10.0-143-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-143

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

%CSIZE%
3340931

%ISIZE%
18155568

%SHA256SUM%
12e886f72e6523fe341b2af4f38daa94aac03bad23fcb3cd467b4e27480d552c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljslUACgkQeGxj8zDXy5LeDw/7BmYj8uyFgSASqOjmbscPh+mW4Vc6vunN5nb6j+aRiwlngv2h7fGBLCcXSn+e76sZ9K3w9w4lBxztoLnUng3TK2vdr2pv+EjxRp4Xi8mjgC3AKCMkxCTJbUpB2UVEP+2mEYipMrFGgubZkCS15p9oAb6Yj7lFMuAXCMnkWgUYjbe2Iaiv915iBmViPWhizyUVzbieB19/n7M0vIr59QXvRwp6CWZ43HNFRRvwV6oR9qUTd6qkjBjt9CYvo769cVx4CwBhjP8ByCQvma/3JWmL1G504jUxGn62RUeiuGQzzQ0wNbfzAP6oNp6aApoanWXjEzzMVAWGAimmOSykJ2JM2wkFg9nxrCMZGGUX6DvIXjxV0Mi0uD1Tjxh2cqm1svbYkjYDDp6z1FIwaVFJhhMfQEj7vCoJo2V6B8fcYE3pIK+Q0aHo8cm83FAJMctY3CfmqtNxtT1YWdC2S0VvpvFwZ80odtBJVFYhPjlsiapnBs97zVk7NcLdAJUYzCNnXAeD+W4syRF2ROAo6a8MyE6KIGmOQ7Rvpx+O9jXAbbQxVynqDeRZ7xfJaMqckwYsDWxbkwcqELj1Qxsplxpg3GpN7sZE4QbgcsRnC1DrouXtIxzi3NjmvXsFpFe5hJ/RKW9YY0iJf1/dzjz+k01jhqT1B9BqeHDC1G2BXKD14CCHoEc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768141244

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

%MAKEDEPENDS%
ghc
uusi

