%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-96-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-96

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

%CSIZE%
638995

%ISIZE%
3726201

%SHA256SUM%
57d7ae386a474a6e3bc17bf71118c936e2f68f95571c21d5d7c76d1e9f21a4e9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbQ4cACgkQeGxj8zDXy5JKFw//TfLqf1JITPAJKk/i+CN3hH6hK5Pga05vaIbNV8kfccGpizGAknr58X1P93F1LI+rRsXhgBeAvqIhoUSq3ozrewGOhEsT7ozZB76H6f0VmhTQvAukAh8p7eflUoJLgvIbXlUaEytZSOkr33ipeUoN7Qic5CGkvuJoszHT759FE+Swzl6IeiWO+pRoShU2AxlCqYeWtcsvnitKTx3EU1eJXEC1M/Dq/LrkeFg6P2Bz+t3dVbyNIyj3iMISjKCPfvmQjS34Aw4CpxPJxnw8lqdSqETO9w2pU//lSkHmxP6ikY7l361LiSMGzOFoL2ZxojJNIqqzfONPD994F6yTCOZl5lnu/S0xGNiuHTsG5x+JERzckkeRH+2KViVRPrFc8sAtZEvSUpBk1f3QQ9kCd2MFsNCmLPurifqI9n97/egNEQGMsKdI6pvLP/R85ktUoF1VdYmKISFKCGkPrOFQv7u9rKRgLv49cBPeIXZLbb4oYWv1Fj4Aut0/vOQAF7tOEQAQ35mLAtsRjCNCcn9F44+8IOhN2PwxVLQh+5tb7vaCUK4zcAc4D+ww0M/OvN3WMjExT+cjtEUMtd39qX4rMi0IdR/uUuz0VRNEE9z10PbVTmegZBzh/gNFzXBcsNd//U80Ze7WySi3VnE5SZipINyXZ6sg7m1JLZnD3xscKev4vGw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754458

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

%MAKEDEPENDS%
ghc

