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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-68

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

%CSIZE%
281538

%ISIZE%
1419596

%SHA256SUM%
b709b643b8d721c27ff7d1875f474f63ec133ff456640422c0f27d400a614a3c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUSFUACgkQeGxj8zDXy5I4Ow/9F03X5WwxzJzNXG0kIZbqUH0DxpI7zU5tpKMo/c8omnMr0/TR2+X+/uNYqxtak5BWuIEdsv5qbz6CGUnOSnKnqTkuz9NoLIAW7Bdj+8BXbaY0/JI6/lu9g34k/wn5yynnHTdhvNoWQn41xuqdWGRuD0wySGFnSj7Kk2WAgYR3MK6VyMF1mAU4pnh9/TfX+AmecVfAz3Dj/AVtIIQ+OghN5VkZxDP/OlMdAk7fHnJNXtkykCx9pyqK0fOVVrDkKTpXVKRaA8CzxV9WuJq//T/yFOvochmETRvVHw6txjdMCBFJn6GxFfEw8CxUq3v7PgcztzpLvvvTFc3YRd0kMdDd1w+oH92mTclmx8wuJTh3t84GTbdsGa07fiba8+pmBVb9t4ux0G0fy8wtz+ReNDbEvF/fcNHNicrod5bnYKpijV8bzGiOznhrgLRaQ7/E7beQcemBFXPC/uRNv3M9JCGrEubV2BNumIRf/YFlASn/RSKu5LeF+XuT8TQot1mqR/b68G0tAgXnw6x0fWGSfaUXaYeOnwedPoDK0Y7hoCIhsFEXsdPF5zJbAUcUW2vRXQUP2zzbqg+2mFYPsHHIlQPiayyj7hslV53b78/2QC/dEMRqyKDep821YK74FF17j8a1qhnvY73w1Jrff2aJcgFZPC8zUEmAJu6gJxixQxzVBmg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788102702

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

%MAKEDEPENDS%
ghc
uusi

