%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-71-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-71

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

%CSIZE%
638575

%ISIZE%
3725025

%SHA256SUM%
8505ef6147783e84b2c7e1df7d6be1fa70bdb85c0757730eb18e4bdd1b83aad3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8X0ACgkQeGxj8zDXy5IZTg/9G1IqVYZFqCy6ugl46AjZ6aR56UY+xgHdDDhPIk2U0aga9A5y/6dll53rcNzfHTV+liyTmgiCn+ssMr41X6cOFhci63+CpUgp1p23Skrwdr+rFfLDZRImJH5iZUlmCXQ89W/OP8Ug+zkANXkaAmJkseqmZny7zG6wIIutPLrOIdfcWrRsKGupZ0yA5rX3/RzC7dJsVhSlGI945nHUc/sDyyY6k8TLxEVj2WvqBykw/9MnR4YskKeasnrWlyWd8xexUvMqvPNShvNu5bjTpGwWkbq8ThaF6xumQLv+f2gfAE0c9So5JAZKvf+vgI+v+9tDzF45E1vpR9dQlYx4u33MDjsALN0ucXSZSHsVhACvvTjbVCmrHTOz9dGmGnIAJ1ZC4W+jrkC43nZ2R3AKy0m1q46VkD8ulaULQf60rGEBV4GjZ5ouJOgRKNfSezpW6aDX0ATLPUG7qQW2u7RGrC8SkmdDhTmEDIEa1BPy2ORt5XavImZ7l2lrIgcgt2iC+cagX6tO2IXP0PblqIj0ykTBpNZw/lyUmpo2pNooPryyZAermFmCsaCS0isKaIrJdNKb0fMwcyHYJqR+FTSZerjH0j4sxXnrzFrfoZQMEP+xL72ueBGnxEP+tOlytJ7Des5AyMVCgC74qnEqzo/Vrb/86Hjtay6C38DdclQPI2z4M4Q=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522271

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

%MAKEDEPENDS%
ghc

