%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-77-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-77

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

%CSIZE%
281723

%ISIZE%
1419668

%SHA256SUM%
c4070d7db1a21c458cdf6fae0f04e46e742dc0f4396b26a2945ce748fbc237d9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+QKUACgkQeGxj8zDXy5JV+Q/+LLrJ4lICF+tphlePybQtOrltVzzxPpuwb2JlK8BzlDImHIk/xpPjdm3e5U6cZlgyi809G7Y2DdBE9HfOeLXBIvCkXD5HIA8/hgFzlNLSOR4xm62oWkN+Nbho4yPdwmr8s5x8iKpro48J6MNV5WVfqIjWzb+PBECcvlRm40PXDPiNjRPDQ8LtMBy8KDFd/6gOqvKyekF5K9B6s1dG2VDXoK7ZjgmkJPD+fCWlkzUK3kKM3P4TMo3NALDxyW8nuSJUlyMNhphU4662NCBXnq+tIygO9gUWUuwsNz8LLhxGx/mgoeSOWHjxfBolrsj5kr8C/9lmChSSmTYZq6GncFuOv0nRRf4Nzrb902OIs+lP8IAiwP+wvQeSFKdEa2sUKVOmaO0j7JIjZzXl1ilDLUXOr5ezc6Qz3yqsGnnooHQLgd0s0CK/LmH6bDnXpe8PHJTx2DKNNdA3n1MIiL7ho8B8UPVnvWwtOqsze2PxVIVVoqWUh5jrNtAA81vXtsdicr/wodjTMW7CcMDUiPEN8SfpAd7M/zPfbma1qJo4/5qaOXgxkNBpmrze5aVBnQMtTjqiXCsDO7jqxopL6senhYRUnPPnbIcxlXrydp8rc7SB+PHj1GXu1bCvIodm3EdhyQh4fyNcE/6b5ntL0O/C+ZK2jK5t/ijOdSIOr7oqnxBKD3A=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790853266

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

%MAKEDEPENDS%
ghc
uusi

