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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-92

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

%CSIZE%
3830001

%ISIZE%
21039908

%SHA256SUM%
cb91eb04c234166933e5ba6988b5fd12f7e6fcdf9fa9bb7cd939402662811ce0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVTD8ACgkQeGxj8zDXy5KeBBAAlo5VIicKSAnHrhEEmf6k8NIepEiIeFKAev9AhCe/pFn7ht/vrp8o3noYVGKSFglwTlN5K0/Br1j/5IbIX033ecf6K08kjyzRi5NzPwXPhXN9uh3dDvB1epKZk0iXc4BmNgMUC6MB8LSoWdxFzfLcNRAavMedXxPb9CBb9rL86iA7I147yuXcp569LyjLgUS3XA047qUqk6xyNl4bkM2V+uEgrXFMQru1M3RTBntSJgHxnN6T/NUgtVd5fPuMrGctf5FWxm734GaW+AKdqEBKCaeN1MLyCQJHMCoijd2JkuOKOkXcIPB+EWW008C+8gbgXj3fpIMuwQp9ghovH+7iwCvKEtZ32dSqKG+yj5Rdt2Oy6buBM73cHmweVTPe5uuC3RQ+rLcOW5+H5F93LoM+Qdey+cxjgWUh4Cv6hNEEJRGs13CK1brC/BGyaozbWCpUSxgOMDmFbv/sw4tA0X1gFCFV21LITOHEbYXxr3ka15j6CdlnEP7Be7ZU8VEU+aKnRoUCQfyMeBCrw5ixZ1W9yYt7lchyvgH7b60a5hLmsw9cqJIp1Jbtk3IZ0Syph7ayvYmGKr8OpbKbvE/IWEZNv5UQw5UZ0sdjmxupHFAXz1QaC79nYcb6STU+rHwW65vWlMQQTGWEdBqhhIuCHW0BgQCYjNcIjgPa3Fu9Aer/R1w=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792363417

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

%MAKEDEPENDS%
ghc
uusi

