%FILENAME%
haskell-tamarin-prover-theory-debug-1.6.1-143-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-143

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

%CSIZE%
4068

%ISIZE%
2848

%MD5SUM%
c3550bfa0f72a265628a356f1eb885b3

%SHA256SUM%
1eac181dc430a4973888a02b6b610c2df877f8b6c6f698c51feeedd6efc62ffa

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIkACgkQrx0hme8KPM9sug//ecAVYrOlhw05YyFJiReIDXPPfP0pADo3er2bqKm8/mDWmPJUe7Bv5hBXsmKBoDZvugram2NZZNjywgI2OtbP00dqEISud2yOdjhzN4bNu3iJ/sPBMj7pE2ZgAql1U3QVWmQgye89s5z+6JyOhOE3L/DaMYal6ZroWrc+5xr9w7ElOuR5w7BQQtEzAhJsxfsDySF5D9ON+JxL8AdSnLWKFAAXsBnIViT/USbkm6Jl/3+KBSMCiKyxV06ew7l4Wq//6cTsdPEERN2hG/dWLHxPgNkZOVS+bcaQdcTUAm34NZoQaKkSDy1NH7mdW8bGcpaumkod4LH0y6BvnHSrMAgrNtGpZ706YCBg3629qo6zz3XemTVPECayAoMpU24ZiCyfHeOKRIPSQvDnRPNQQBTkA/IQonwIkVxmAl8aBGunaRsjBHkGMJYy6lim094uv+S2v06KiaQ2Nej0DjKm0b6rB3EHiHXzyTmVzJYbHqRXBXUSXYXrYSwY+mnF00Xm2KJED2jrm5GOSTvSSRoTmLhOu0GFWpGvhkzr52zifwlDS4sTanQ35U/+uZKeFFQS8qSnPhOprW7r9t1UPVmDPk5g0OZU+UEyy8EfgDSRUJSf1YGbn1uDfkpjgYBebt452R/r4+aX8uxuXdPrNEgmHT9eLv2Z7M15tpO+25EtmdG+XSk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686580696

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

%MAKEDEPENDS%
ghc

