%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-69-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-69

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

%CSIZE%
3830999

%ISIZE%
21039308

%SHA256SUM%
ea71f90d6caddca4febc3ab38e766ec4dcc543c3dedf82ae720390bbb8218e18

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVVXwACgkQeGxj8zDXy5Ijgg/9FXVH3Xja8xZnGAXKsEm7K47FVKT3rneMkniTj/VoQOrjpHhcMA9vR1s1xlDNXO8uDFVRmgW9ETEr1G8aAgYHY+cz/YEgT7Ehf+OoTVOAK7irSPBJ86ZVnYCxOX/p6WawUD843QP3TEyhU2XOn8uml/eXSArnH+QRJ1gGwMpML1ILuA4u5byilMoKiFL531bNx7E/CYVkc5E6aKzRX9j9nsYCw+5DIHSXmHCnF0Sksa5zKZP1P8jwWIxGDack1cBCdyMqEgBNduh+cchwsNpob9uPFMAjMnXa/A6GWES5ORN/pWN6a1Mts/PjJZPxsTD6lXLqAYO7MN+0O340ro223kfknT/ZlJnjFbpxwMfGuM++fm9jx10EM1qRL+6HU3OHTx1XNciEICPFB3p1ntph5fBpeNOnu9E2R5i1URRbDZdfZnNVskslngzHHd//UfWVhCg4IQErEsfD8AksFTyqgSDWfiOW4j+GG16Pg/0k0B0TFiWcFcLLGtgkOnG7zyn7ZlS6QtQYFXrm+wzayId6eTLf8Tj/fa1BfQTscZbU5/E+ObDxArt0wfoHivhIW+0Mf+OLFiLfkWf9ZErT4DTWfmSFd3oA+VNoRl5lHpojmVk0h2Eh0RosaUQ0rr+eJL0cAi7qHnRCIXpRe73Mw5Sxs78ovZKvgZl6LpXKdd8tIaI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788171547

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

%MAKEDEPENDS%
ghc
uusi

