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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-68

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

%CSIZE%
42022

%ISIZE%
170264

%SHA256SUM%
f3b3f2462271fc8ca17ff3c14d52dccacd50fb012f30c9e3d96a509b38189f67

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUSIIACgkQeGxj8zDXy5Iu3g/+KN11WQFpzIVBufedYzNkcYNjyMgvBZMqHbTMJhaIqiv+ekHHfyEWtUaU+nphXXyxMq9yTNQ6eOka78zolnKxLaQp2U4pnZSM/2quUlmkLZ/6FSCF3rdE0iv+59guM9LcyDyPpz/a1jRAW57WLpNYKSa82AG6A11kF/bjIv7VRCAe0Eo/SEFGtBU3VftFoG8n6GEV0xdkWHF9J0lrmQs1h/Fcp2CbeqsyTv7iBOYUu7629+02Xkw2UVubLME0aehlB7aM0f5AKdrNKHiQ3NildgkjD21LyQBiOfb11JBT29mIlzP5XuA34E1+dqnv1ZPZYwKeahoNuLgx7KX40EiqwWku7bv3wzhlWcRnR/cUmtKqoKw2dqeL0084WkAhaRG7vuqMU9pFdWIP9V2kCFYnO3da1RghY3e/+BcIu9rfzDHNCZUVgN8v/0uMpOQK9kWty1+hWzr+/glVusK5Xd43nLwilJFilRZrSi2QU0Qs0tg+sUbOgl7YSOg9jXlAzFidJd+SUOlgZnvCreLbCleEz3qsQ2p1MSwUITMROsWTwYNIQy7U0fGx9rDBjj8HqpcGKuMugLgdAV5H5ejLSWo+h7XZn4Wm+cSLOqofeSWesxKBWYY7v9bF3LnODONS9I/h38zKqoxkOjFS943upTH/PGNv4b7EoaYG1VBtQwS55Z0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788102692

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

%MAKEDEPENDS%
ghc
uusi

