%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-72-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-72

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

%CSIZE%
3829680

%ISIZE%
21039660

%SHA256SUM%
5770584211df783fb020eacad3c71b426f4446febda75973d7a224bdf20381c0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwxhMACgkQeGxj8zDXy5Lkeg//Y187fyquKo2wogn2aTFzg/UKrhczdJvV9jdplv7n8WTyx5Ynpp5pzVHbKiU/RxsqSYrj93l3vyV+UzRClElxK8asCtWk3PsI1r21DIzjeUGFAVWs/9alMqnKxLw2ItLCehLvsV4nXM2+aBjxLP+Vop4ExtTLjDT1ianEYh9k7ssMBPz0UayxRSvdC0s/XFMpRC7Oz3zSZPotdDu/neaOd5fbsz0uieMcKUu0RNHmHU5pOh+AqltmPBNrzzeZLTpatcducEhNAlFuKCYsRdCvkoSlzCLMXYdXcM/ONipjcT8szJoi/Mj4DJp2judOAqJkWm56WRaf8vqfmMoI7SEUs0TxRrf2nZcQypHVFSkkMSmol8ZLroICLb7MdRjPuw/CvekzaoNMaZHMQvBUKH6ixVm1wZw9yYqGTEIPVt6/c7mMkj1SRhvmL93TRHzzJApAybYewcZRN0Ez69/MZzMJRUUezeBsSLe8nmz+tyOelJv+6cfFBduGTSg0/jTEf7qDlp+OjULirEU1KBc6v+dDmd7ITBt5YkiiEQXbhZNYZVr26+nvjCmsem26Pi684Sz0/X50Ofn9wa2ohgIaMHdtknXa6TQpTWze8CWZ2DiNa0NFVUiu5YlOR1ljSR/wTGfYpzvikxKPGLWz5gdhYp4OEnlo+fc+4rt70w11JJ4/yNg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789969792

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

%MAKEDEPENDS%
ghc
uusi

