%FILENAME%
haskell-tamarin-prover-utils-debug-1.6.1-80-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-80

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

%CSIZE%
3456

%ISIZE%
2848

%MD5SUM%
33c491dde16121e3e8894a3de1371e3d

%SHA256SUM%
25b6136550584f4531a658b48375c92cec5d21577bae5507d22240d58c0291db

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIkACgkQrx0hme8KPM/rqBAArPCyNML5ABIVtsNqlygVLpQkP/uNdTp0eh5SA9092/JPxjH15bLBqcRDfks+e/LOxRRn0FAgC/JDcFBrAsVE+9BcYP2OIOE0SlX+m0gwB9kUIt9fnjlTWt/ABMhf8AVMQGeuwgfnPz2Y9037LtN8yZbDsx9aLqSOZrAFo9vO3Il0XmLeMyOcSNhoDxBLieQEJBMsJgz77kg6F+GSwLq3MzxiLVrNbMeJaYxzNQ3EwjcOAK63jTlxI8mz64jCJ9KMxwrGz+MNogfG5Ek526aGwesTgMGvI9a7fM0UfjWnd4dSLd8Sg5VKvRJvQPg6rWNu46IUX3aFryPROAjevH16iEcFCRme5sz9h9bctNtvORNtB7fwkbtGwB/i/7rojtM0lSCxt5RWHD3cr8ICAm9B955J9yxxciScjX7PREWuFV0q7lgstc3zYinbWDeq5nUQbjlaX7RIhh3aDllgLhYg3wiYQaKexaShxJ5OHenq5ftnlLU8ZhSfebLvw9ntdO7xLrb00c21BwS82c+8dzaRd6/Gvv63C2GIiH99pgqC1UvCA5SVeXcWV7jHVWdDnM0D8tjcjUPLquvOC13Zy28SqjejpCCofMG8rvjNkt3/JHYI8R2ySajg/jXslSbBc+o3IJRKz1fZpOMVUzgmhaKAxsK10iCIJ9Ge6ph2KerunK8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685897800

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

%MAKEDEPENDS%
ghc

