%FILENAME%
haskell-tamarin-prover-export-debug-1.10.0-140-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-140

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

%CSIZE%
211401

%ISIZE%
944320

%SHA256SUM%
84c5ca619d954c07d054604bc7c9ebe6bba46156acd1ca2fe7bdea953c6ec4e5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwOBYACgkQeGxj8zDXy5J5ABAAp3FTkjmAaKUvWW3+Cze84u+VCt3is2jbYwRDGbBFyP2vtP4KUpeROhZTk1fAl7h4tV8mFf+bDBE7euMgmuT+4tA+8WeXjivqdZbuY5C5UPqNnAzbeCjgqvsBKZZjCgc0LSaU1dEEx5/pFxgyn+jrwRIQS/4IysosVKZ3X/ZwE6KQzMrwXlAgjBjyk+PuR0qnOVMEV+Cp4y4QGqnmHmIf7jQdWruxKchOTaq5kz5e4Gt5Ic1J1uXwobJfgoWhmhhQbkkOOomuwj32ARIqHdaltJ2h2WFHHHsZ0Z2z6GiCY7vyUQvA6QGr+qWZrrZcLxfj5AjpiMaIDFIXm0dZUyifEhDg85+URkZ7AYlcGbRiAxRGj/KIUMrFVVSXLtzexfU7opkMuFhG2n22yH+7/UCrM0E2l0cSe97l4WYBzGZILMUiZZmtv8/C5tkOO2tkUT60U8d3ayMjYXrxHcibIRwfCDuO6J4lC7BmMyUrAtwNquzVD/5yEJWHWgLaEn3Cr2i5QTypYN7UOMaNjrYUgFDzGJxmLlSceCT9x0ZFfnk36wVzfOPCryiMzaN2wLHG3J/6eHQ5zHqN4umVVXPiE8ayPrXNOlK3GJstLFcKAhu0tgS7Z6KV9Qy4xlb6/fH1V4n3r3v7ouJcR2mo5gT4fFIY/fTBO1rbjPo+PglAqmjry8k=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760573430

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

%MAKEDEPENDS%
ghc
uusi

