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

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-3

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

%CSIZE%
235935

%ISIZE%
1176350

%SHA256SUM%
c4c3d21da6dcdcd14f210d7cc5c06a8a319436cc09be3aec213803ec778062d1

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4P6YACgkQeGxj8zDXy5K+qg//WNztjZNyJtPFFuCeRy4a7loPW301V2LKQfvTcO67ZWOlyKdThdqVxP8cmoYuicDQPASlftxLdj4zYnzoidQ/qzPh4/5QbBFg8IhNzJ43ffDvZr3JZim1+xHFjtDiMbNxuGiYX1tQ2prfwdWNFh3vPqHIoTZNO+kT7h1xlLwRJqXOUzzivM2raXl9ChuLCK/QiJtOujIbo2oFTrTi4yZ0uoa23cw78/GWEHZxYFOqGQIXXU1nBEb/QylsB/gU+/FPzIV02zJMCOefLqN3vk0Io3+pjcrSrLvyOqLydabRY1ccQGKYXH5LD2UdS4u7kszpFn85RgJuRSmInKHT0jK6aDdOvvCG/vV7+xoT0dA+aKh74amdSAYNsErvvDOjOKx7zZxiQe3/gO7JXbTwRXNg/XtoTz3qVF0/tptnViTzsgzfeOG/lmvWGBPDNuZCFi3HaYasbkvGHERoAC2TwCVdTvfd09tCE+GXVhAJ1fnvNSexuPD0texXZJJOy2O+rQ5s6V+pTDs1XijdAGw1y/mbr1S9FJMexA2z5GVzovZbHpJT7dLXXtHOnpdyxXkmIJw9k5g2eptaTxWvrDe4kdRbZ8ijmmdC8m5KNO2aIiOTT36dWDuEB+nOiuTxAweIks0TEzaRNe0Fd+bWvxGllVMKrLJdyXBrc2eIiZrFLEf1iWw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933833

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

%MAKEDEPENDS%
ghc
uusi

