%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-71-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-71

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

%CSIZE%
201308

%ISIZE%
1148906

%SHA256SUM%
0c000d2bb93b22cabfa41f3bdb470058f3cc3cec62f9f3682682cd009a5efc49

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwxHAACgkQeGxj8zDXy5KFQxAAnpwMywqmZzWlyuYMlYS7AtWrQL9x6VJqzGeEHK3NTVCcYwktuY9oGVyYqk/X0YQGQ8UdKArc3ujvng96ENqA7Vwc2gPrlL6SzN27xQZeyrTeBiHmj+l3B3gVG8pTIoffwwo4NBYRxQuV9uiObczYVO2MRFQpEkJNiFsDanHnr5QoReLskpjc1LGHtWG0FXv61TczUGnwtHBkN8suSECWzsxBax//RrmlaMYGKKs3usePSjgpII6QAoLTGafG6eRIw4mm2SjsD0MZnnw8WhgS45t4RVws1MorORhhNEfuYuE9bwxDz5DdWtz1uDIoUNMoTLuvvKMM5hTScN0r6eLaok/7QPB04y8rBFJbQuOt1DtNYf3fAhEiBKIv3kRklOjb5P0rhBdULAil/wqWsdFz4Sr77RhrZhgmg+YQT5HMGyaowfDqOrFWyg+HP3F1fJ3wCDfuiobsMy24u4HEHuhSau04rv0l/Nu2OO5/I2qT49rGe87aL5HfT7EE4LUfqVG9RAuI+RHHOBVvjoXoczAJNx3wAZW2Y9Q1avZs7rdjHkuic6rXz3pMIK4Ztqnf4FouhnRozlGKlrnleS0x/OESETeUYRxXpzEDUyqVuukYFWwvJTLW4vXYM8n0Z/YfGUlUKDvD4UKh7ir7K8xzpZlVI5piB0K0x4kS3DrKQ220vKM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789969500

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

%MAKEDEPENDS%
ghc

