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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-30

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

%CSIZE%
638518

%ISIZE%
3736257

%SHA256SUM%
22c3cd8599ec89f1cff17e1f28e2a7d2ebf8b62931ea8136839e18f87d77dd8b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8Ub8ACgkQeGxj8zDXy5LH2hAAtkiF6Qo8Y4v49qKNd28dt4GEaBgm1bTYXTM+K4BLWVu6aoHmSFzEwWrb+o+2oA1gohk6DE7zlGhwnjSxpDJCsQIRaTLNisMghBpEl5rOnn4cAci1vl7HTeUHxpk/EbVyiIlo3TDIIszrrOBSGmDUfAVrA6HpVyBSBLV5QmK7KanEb3ENRqTE/nbJItAIYFuNi//CM6JkToqmNaAFaRvsDmaWSaOI196Tkxl8iEkx/KqdNptoZNqCbLrU/4j9DP3K7oo68FyMSgnv/hTiJQnvfLtou3f5Iosz6drMe0wdcQcihWp6qyVkogOfAVSni06It8Egnm8/J+iYut2FDsAStxuacTXYEdOJFOKkaGjYl5gti5BE5vu+by4/6soy3iIKNfc3+OOFjVLeJFoQb6OcZ1k2RaXnTZd42ocLm69QScX9JPR42VmYAJwxxNCRTNFQHuIzG8M+aBnxuFiiTp6yXzVWVviv9xLzI5h1nEPUWdnMucScJIIRk07drFmHq4NmEs3M4I9oLj7kW18NAQEQiUxR3YGqaOVRD8JMjGkxD2351KP8QWbgaLuMUx6In7yblA6sH1ETh6NMwN7LnbrVsvTGCGizh+2gJSnCLQTfNpLazav1q0tv4A2b6Uif+aOY0YKyv7cGUbO4oomK1z4EbJztYtpjhmT9pk9e0R4/oZc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778143649

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

%MAKEDEPENDS%
ghc

