%FILENAME%
haskell-tamarin-prover-accountability-debug-1.8.0-34-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.8.0-34

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

%CSIZE%
4161

%ISIZE%
2848

%MD5SUM%
bc2df315f355aadbbcd256d2279c01fc

%SHA256SUM%
4a900ff1b7bfc470ab7e253aef395d1cebd4fbcb368b98a5a02f1f82323b6986

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9hIACgkQeGxj8zDXy5JbGA/+KmiBEdONoZdxs1jYK+HiICW+dGYXzGVcdzBNWWEGATVDhTzam9515pIE76fq1PBshNGn/2RjE9tquVzz9ks7JkpOLWnQMKUtEKTH9skOQZdDXcQiXoQBSoSZVAwp2fNYuWPy/mtdWA9sEn7Sx0ZvVqnNcP9y6FnDUBceaBHp3/NYcRN+2Io/1OymAxIE4HdAG58lWHDIsILMcZWcWSe1RTxdU4o2B0GODnxqQF+dtb6kGSvc0i3oNehs1G5st3Z1h+nFigLe38Hiwegyv0PMfBmkzf/AXVVXQPOAYX5cMXQAfFLVKcglCjO25+EQzi3owywnjsifMIdhMBv0e9Ksk23WxTbO4yoYD+inSKFjK1BKM5Ua90NBeJB1jrFf02pkGe2OWiucbfcFvZaBZQbRMnbDDzc7IMpjj9qe343OSwipaBwUfdEZBhhcAIQkrcUkssHksG1joRaXGQfrRrTYTQel27XMprImBLRnWyD2q/mN+L6U7Mzxt7zRGV7KpAZniAUbH0bEMmDDIcuIGoZQgCti3AyXTNOe7DF9UUYjB6KZC/hqEKzB2RCNz4BTF/fmGEv0/+SrKvbkYMnBDVL7L17HDa5/rxQCv2IKE2Za9hRTVHQqGEf9U5JI37aVUVqyjf1yHrfna1itrOhpb+fpt/WJzFyO1GJug/2jAHF/H98=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341305

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

%MAKEDEPENDS%
ghc
uusi

