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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-3

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

%CSIZE%
204586

%ISIZE%
950280

%SHA256SUM%
a4c62f7e0ddf8bd52608f9afbf3e523f808636188fc31191dfae8491b1dd0865

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4QK0ACgkQeGxj8zDXy5L86Q//bQWfeL15DYLq8+h7WhKMSev9cT+SiVW5ms4YPxMsDatJTODeLpG5AfdIGIyqXu2FG6VTOpVjxCe3BHgBQFhg0uniCk3ufDaWLCYqV3K39BTCRoOVgV5tpTLQn4YE+J0HOUlTt6pE4aRIUIAetLZTk56GesH6XEl9DBhpf0Z8NWhHxw2m9dLqmukjsXMM/AFNL99Tb2nmgrZ9qWIzTrFD08KGWD5F+NecNLZdMS3VgQCjZpDTlkBK/DMAlBwgAGFGmvGLg4IgZuxJvrnZQkSxqEAAJAEY7/oDgHu933t4jp1DW71XavpG/iUcAaPQ+upC3u/rgLe8vuqzibdcmOxoUZrBwFUd63w02SSq0YsYr4/yczWW5HZr1c6p2K4mSDGNIgIR8/HYsIF66MAzyKrodnEM56fl3OiHlEMiNZ31DwPKNt0DrXhg3j9EU725DclLU8jq7tnVFxBt+RmDEk20y0eRQVlebNQi6Zk+FWFGbRHyM9bKpOv+hWVChQpviIPrP0nRS7Z5Y69gWdEcL7dUWXOl58aL9sbweOJycNgBp+nQMKG9KnhMdISaoV35bRrkh5uQkiciddbVgKGbTR7lDd1+bMhk5jD2Yd/S1LwGC9EwSqydOvFOssPfOpaV8nQDDJ3ibjBmMbsb7z4y9LyH6YbhJTH8DJZPuSy/WRcFngw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735934075

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

%MAKEDEPENDS%
ghc
uusi

