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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-63

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

%CSIZE%
3831639

%ISIZE%
21078900

%SHA256SUM%
a492bcf14bce56fb42eefa9c3b1eb1d199a40b0e616361b7f797fad8e80c013a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHisACgkQeGxj8zDXy5IyYhAAmS96mCx1uDCUPPLYaTVIzfrjChKRXshIhWebNuVF43/PBVWBIE4byx5mm+J6YdC6XFVH90rscpeSetQQ289l7KDdFy0k9WOtQ8GhBN1Ofhnvd+zgUmASJ+2FRwLodPOLsEVovcUTFwTDGUXN8vR3uu+1+NU16LXikAaJFeNNvgRYkjxUqKHGkBDa8/44qPCvnh7lIv+fNqICKo4/hzmO93mUFQcqDQrLyU9KAas7eyIcNj8goKUKkdwgpchcpeAmDJljO/SScUhy1bvqrZbPCTDjDpTIdnbSCDt7GrclpxwlZnUrcsSX2/B8FJRQiNuXUXv3wK7k5IZO4lrLmN0cB7/SgaSau1Bl7ybq5lZ1bJTI/XWE1GRUicb+ycuaLEWSiflBnhJjLaLRTVdXdu3joFKcd5p3dk5Y/fx9ADeAK0lg1ZQZy8TMCzJqtlLVB+IJ2NhW2143zOmhTIWjNC8J4Uiw8hav0REZWlfNBJG4ghNZNlUbEhaHBoRXttqJUQOXRW/tJqCmhDZ3SlEbkGlM73nD4GNhq//t7XRXo1fu5pbBYfsSPK3ROi5BCYE2I7mA7Kw+uBdEjGdTjzoYwGMcf6/k37Ghq2RTzZ/XuDLI07w9RFHnUqK9SLFfYNTXfCH6D8kyz911TxcupPXO+iz/Y+xdn8Nx45nc3OUKUX8QJNs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045571

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

%MAKEDEPENDS%
ghc
uusi

