%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-38-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-38

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

%CSIZE%
42041

%ISIZE%
170552

%SHA256SUM%
b39272e08d06031a16a49322a86c3a43ce6d7eb416a8afa0843f6c2c97712a66

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodmQAACgkQeGxj8zDXy5IDaA/+LIqqlyRI5Acw9N1JO2X3RTLLUVYOTEGQfchsZ7XFrsM8K4aK9tbWvXGCcckW5L53LytbL0QOPk0ij0iwWkV3sjW0FJGC5s2TBNTLQzS6ocDSgLieDvzYLAYE0PLx8hGgaYvR+62xdbBjTLCiqu6qLhfcVcdBVModhptTErxuoeNYsqc1dcQjr1pUfpbQgsg/IhhaTjcaAi9nIHBREc7tTecN+E95QrikvN8awiRBSjE3XgX2edxFe7y1qtbmOmi9gfzS6G+wugLMtOvaycIj7fg4EHc+QMW7KYAR5OhQSMwKCoeORDGARjoVnQUNwnFw2EydlY1apk/T9V1PeclepKcVUigz8ls7wAKl6FbB8x7Y3a/RL+Xg4VnR5QdMmxIOVrUT5ul6B+DKNyHL9YkFgoejoaU/69ywKPucxAXuSbId7vE8l2zkgp8TLyGIv1gI1h7jwU7xlQqpquHr8qetBdF+T+GgwiftnoESfgEQvx4wP9a2+yPSMwWf8ICCPGkfRm/niVNqGD/5+2/Wxj9M73oGCVy/OWItlcuwckE4IPSp83PYHm69eI0AQiwGgSikdkwTZ7/1/UmSK77heKWtPWhtmDAOV+udj6w1ssMMvF6M8uULFAmoyvNERsHkIrzCeAitHfspnG+eTJF5+Fi6k79OToJ99Ue5df5er1Vn8i4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324595

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

%MAKEDEPENDS%
ghc
uusi

