%FILENAME%
haskell-tamarin-prover-export-debug-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.8.0-34

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

%CSIZE%
4209

%ISIZE%
2848

%MD5SUM%
5e75d4311263b9e2a382713b713dccc8

%SHA256SUM%
3d3dc8fbb5d181a5ffe1dada918ce2e975b451d8105fba0131f0a1f691a0d24b

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD978ACgkQeGxj8zDXy5KWnQ/+IXWNAz9r1iqeu3uqMsnvWvVH071YdZUqBbovhNhIaq96pXTeO5w72pU4yVDtgaHTvFDDqPAZCOAKcqLox1f57a69IbrJEYwLw49Kr6PIpp18MKBOgGJAAJFMhiG8KbaXlF6Wp/+pgf+n82OJQjVe3AOa4LiZhaOr+5KT5PxIYX2iRF8P+HedZZezkFVoOqfc6aXWh43DkomzT5/k+i5p3HDSMrzQBsNXOoDW59/pvK4sgPUWAYyMFTKfo0BukfDk4EhDVTuZXYu4Uurl8uT+4Jt2eZ0Q/7LdxByv3nTyQK31PXDVzLRdyTbXjnOPglpYiiS2/UcYSheGcn6zJssKIvhq756RW9FL8t9HgMJ3fiiw8a+ovUGTTTy5qxHDyWhFM+9qlcZ4jNjkCDwJ3eBEdbvk2TSjs20gHn/DM2h8zXqtjHGFet7v4gWgYLHNO5rm7+7emcLVR/AGBwcqQ/WBMZCSqqxNLhlhCjDxfZMP6Tu3iuTIOAhMn46S6y0jg+iOxIAuWkzndBtC0+71dd1Ce/aCGvsEBAMBzn5IkhQlGukiH2wen6OPhb4/Bk13h4xL+JoGtGdwWtVVZxhq5vhEnHUtSy5D8G4SF5FjGppD+pQzFgrHo7vPWJklneVUr7Eh9VRJOtPvWmK9MzFhGCx6D3e6msRKFRopMUs9Y6cSLSA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341723

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

%MAKEDEPENDS%
ghc
uusi

