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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-39

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

%CSIZE%
638996

%ISIZE%
3736241

%SHA256SUM%
9f1892d30b4201119bc31b03fc1cb58aba93fa36dd27c3cf7443fb9b16a3d783

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogLLQACgkQeGxj8zDXy5JQGBAAvytSWbO6NzCQ8S7tGHUgu9i8iEa/0rPdIArej5Jq8Tu7nVVDhTe8eANoVvTlYRGUrvDSDzxzJXWMhvy+q/+F4QEkoLlDHG6P90ilD5ECVZe5B/r7UTK85zAZP/wdTm9Vopp4At2Hoy162bVrVc0pm14rdmjsh5vj8paiLTMDv7jV/r2Jus7ulf1s22wFhA7Ys1KlWq7Vctzia6Sl6ThnxiXFcHtVHNcX8HtTGX35EaBwe8TkjzzkeqDsiG2C4xzLd+YBvKKg1PFSjXZh7c/Y+EmGOB4T45VzHvd09eU2H0wuHLgqrPFmPKFahUSqA1K449Xmbsp9jQEX6dJaaiEQANGhz2F1IXZUMK4197JHIt2+WDLHl+pXCrNKz2AnpOeHQa/eifhUvjkABORkbhxbNf56mY9FFp8zEBgnk86JAFFT06Fo/Sew7wX3dIWWa5M0okXJikzTj5ynAGAJ/jrR50pnb5RCCG7F198zKSfL0tAd76UzS7xzaqYp8vlBMYHNHkyaW+Dm+2h9Ed1oOtWDZ1ohVM314Ch3PjWzD3aO2GCFKDT6/NmoemwX7la9buM1J276/MVkkohX3JRRKfz9GrdSuhYuJqfdD6I5oQJhTRMmN8rVa+1MB/1ohTIEsjjsneIe1wvSXN2kcpCFX6j7spJvLEKmdnyoaA3pE/QIzQ8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780493453

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

%MAKEDEPENDS%
ghc

