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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-71

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

%CSIZE%
3830082

%ISIZE%
21039172

%SHA256SUM%
caceb255dae3df753d6528b897ff230ebde9be84ebb860c4eb5aaf6eb6571782

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8vIACgkQeGxj8zDXy5IpcRAAu9LdanYUU7PNo3trn4v8tO8KOvyT+NGHW8aUePBix8WFyr/dkaf+Hvj+k6PCpL/sKOh0GjBp8/ChlcYHrsu3zOPhjvvTnHU93zjuuPdnWBmF9Cj0LK56zu9BlVkRacmrGhFJEEj9WHs574EURgOjyaZKWSUc97gh3c2hWeSENa5MOJFDWvQcK/4IBShFdYDp+jTpfz2VFKm1fVBkRaks3/5Wqmb7cZhDjQMbcaqXhK0zPK7d9kp2EGH+sRMoU5JI/V7f9Out19ozaHGiXGbTGcQFhi+Y2V0gCxas/VoD+6IhD6RsEACpcc+z1EsEXM8IH0tNP9DwC89pcghwJXQE7YeKGc1+sLxbo5rHHnQL4xZBJY+9ctlrwy9nMAm7PrLGhu4pFt0Yn+H9BpgALZGvw/XTnp/FdUbaF2hghrSRJeDlHj4hShVMKXGKAy5zR+q3VaihVxyzT+RoAePaD7dSLiH6UgbbLvMhruXECMGh95UdcOUP0Ldf+G4Clle7nYIpWbEgR9eSVru/HmBYHEeVuEP9Bfmh7NKSTwhkl2ZZOc/x3O0QRngLnRjdbSvCPdDQrA5orTjfXk6//Yyxs3qnd4Mfp9kn+BK7Ua4JH7YmZu6tB1ltjacbvfyQ02D+lPIaYqnvEbM2JQNKN6VFGnQZ8PY25gY3aj+yQZAQbzxGqVI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522521

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

%MAKEDEPENDS%
ghc
uusi

