%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-89-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-89

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

%CSIZE%
282178

%ISIZE%
1422260

%SHA256SUM%
568164ef707dc89b9cca684d35e7ee73691da456c668047dea781519e1ea581c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMpO4ACgkQeGxj8zDXy5IdTQ/+LzI3NASms0dEJaWmWhJsb3/wnYNa5/Lm+LpRcczo1vi8snIwPyYSGnKGxTsQpWLOPIDL3bmV8dMy9baKQaE8kZyapEh9PG5YFYg8gzZ1yy62Sh2+WgzkzJ5379zgEb4xaeOeqkVRqs82JA9kEGpb1azsGu0a2UGoRvXz52L8exbddRr9y4O114XgS25L6E43WbsmYvvwvhkBsbkkJXtW5wupYzB7kJe1mh8ymyBaVtjuPWfqe7yz3p5VIIds/1ybsSDxeG3OK6dQYnYbqRURCn+uAegxLZbcxZDQQXxcncrsAcJQqG8HdDled1Xf/95+z1hVgJlEJho6G1Zyn78C35UVi4z2E0GIqeemFSa1YiG/51mfH00s/imZa2Enp0sqJ6u2+lPl7Z44EoxL5gww/lOKc9HpJo5JC+Mzd4eI6n4ONqlNJvPuWj4dno3KQjuiTgR5yyTI4F2IXTtOOY1nO+3QMX1761kuAoqi36jxS4OeOld1erROABzFlkAJWm08pllRL41W/XEgNMIjSYG3JnVAlZRR/kQybezpQyOq0818TiRmhCSS6D3/NAJcR9TCYzCGKuKDdfaDKvl37uflcSx3M1CUk1Oj7zsCdLLbUEbLqxso3ZrnmRD1knnwqaWBkmPhbNXim7B+K/ncgDJ5se+i46q6mQEqqUHgAafpVG4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791796374

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

%MAKEDEPENDS%
ghc
uusi

