%FILENAME%
haskell-tamarin-prover-term-debug-1.8.0-21-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.8.0-21

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

%CSIZE%
3590

%ISIZE%
2848

%MD5SUM%
16bcbd16b98544d50ce917e4b17a9536

%SHA256SUM%
361f40dd190a6b7017fa5d836c2c0cbd5ff5723ce6164b53a94b04cde2efb803

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9FIACgkQeGxj8zDXy5J9Xg//QZUqEsDY/QWNnC47eN9B3n+Ph3sLJLn47stihEqG5RyUuFrgtt4h5wBgzwXNmPUGEhjyyf4/1JSL4ITQaZyBxRYVXlVz+wjh48Zzik6Si8E5bl2e3+MUWFA6LiEaNXHQ30ie0hvSgkSceXMVJi32o1OZI2ag8RdRkS8ZA691x9UoiQtlZIt7q95yoGaAM0lVEzjat/Xu4V9jZLsxTFvZoKTeVUVkUkmrLXhmHidPKD6LqSU6VfKTMgDEV0iGFLBsjOOWLj6ZsRlovhXd6hDPy+Gxx4YRCYd2cUF1gXMb12OzjJE84rLSw/0QKCwpcaMRuPjrECD/ILHitBXB/CsHBWI76DBrPiX7Nn8JhSze/A1DYGxRwbj4fHE5jD2DIKSrjfweRzu0wYmgdfhG+iyOM5xDmmTTgoNlDS4yhf0qmoeeQ9CwTvbfAnO/wi4szsLmzzlqLtJV4DEL6xIAKdyey6yMvj2bxFHDY8rBTGgaZlhEOQFxS+a5pHqpirsaJiEi0G+mHf3w0CIE0NUJLW9gXAB4Nx1oQ1Eyt7I3I5Ky9tuXfnxW/jzf38+AE5YImkHRszSd4YEszCJCBYRMNv+ArAVRA5ork1Z6qD4GNF6+u323fBzLNMgmx9qSjE8YEL5n9t5TRHoy8ZCuwd74RhWmmiC+V6nepu7toT7+G9iVx+E=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340809

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

%MAKEDEPENDS%
ghc

