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

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-71

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

%CSIZE%
42035

%ISIZE%
170360

%SHA256SUM%
871a2689edb83f44b230a75e8bebaf36e4209144fdca65235c46ec896c930f46

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8xEACgkQeGxj8zDXy5IzlA/+KAw99GRYEw5Jqr6UULTtM3aJRN12crKbX/hyMnzUmpVOMGXXrWZZ6jO7noxW3VtAuQVlnAKmwQERavJ/M9FVBo7qLo3pv0deNHEIp8lNRlwabzfV9PeBdRdZ+5d51gnhSGkX0bJoWkPSCnWkxEs0E+UDB+cEwwjvmQRpuB5oI2ECjKpSzEokbgk7MAKyAQBFjuKuj+ygETbyfI7wnKPjRZCFnollA5KzNS1jfMBHQ+1X57VlCwAdZoRWktdzurlZ3KFYw2mzjFB0yzvSVBKmJycgne60G4AWDga7r3CCiG+ILKveumD6ry1WPy2bQBTaKyjFleoFFzuZ6HVsR5Ys4G8Pj+pLv7sC/fNpd2+5QTZPkHcesBjRhJMtWVEMriOjnskrpLKTJp8qYmE85Qw+HPlyvNH2Ug2MDP9LRqCJeXD4/mjSPx89zvgrF9yQaFENzcMtWlaIXsqNiLzcqo7TMVrXAnvrF8W+E9/8STc6cfC1/gNA6KhyQ+t5ObIdpCCZ7j+FtIfScQv+Xfxm53SSBiWGLoy+xZVSn1GJp9JC/borOpDVvcJNXGucFqMgDUtifDzdAS+ttlO1lA+2uG6t9Q1dzFBmMUTmeI5TAqTLGSYj8dwOx6H8bAi0zeb5S7udW4o0r7juPZnes38Yp3ZM3vfEZhpj9cHQHmeJ11pV2Vg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522684

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

%MAKEDEPENDS%
ghc
uusi

