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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-77

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

%CSIZE%
638586

%ISIZE%
3725041

%SHA256SUM%
026c989273a6a8f8d38c24871c3f3387cd1af5d80184e5c4d5081b1ecd972276

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+JwwACgkQeGxj8zDXy5KEIw//eKw3eoF4NDdw8pSFWeZWPev0kmDDkgeVWrIXmXSZwaEFylUbwo3c6GCckrsYit4BTnqJrOiZ1+ooWMV99vFuy94VaZ8dhUdmTH8mpDReUvWT8L/ofnJNwRPQA23v2sYOKc0CbAyKvqzlZcJS5Uatyc7Of5tHEhH5TbvfUpso2yGbC7UiFxmn9HGbqPUxbnsT193scSUJNMT9nFqhBYok9I2+NaTsKvOoDorwrsRt8SIZFkOlNu6GYFLpXHP0G3bzUKpU1MzI2JulTZ+sE1IkEr+E5OBl06kR3RVbefeVAm0uhKzh4B4piU1/0JXMQWMcztno/uo7MFoh4FYWsd6dCjGY/kZoTv2r5fVLK3S7Lfjj97NcVfXhvJmCFU1XGy/+Cwa0Byo7fNYM1QAsUpujTnuRALTO48IbdgbA8P0BKva6QKsytWf5Cvmi/jHICC4XU+EbU988hvghSRQNIuqRW8CQSoQxQej9PccQtZmCr610xLaV2PeO/dtWPHTkCHrxZCyNdLxF2ST+1Rd9ma699EgkE1aqNcGQfRYgdAmQahl+kVqJKYwt+unRZ3JJq/xt+FtU49egvJgmybsV0tfL/k0m7tnVtL8HENdXT6Qq83A5E64msbcU4IJXUOSlWbeZ/aVlAHH/dHGl2hRVpJxzzTZRlVuEgeui4GR0O0sVvg0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790846708

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

%MAKEDEPENDS%
ghc

