%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-40-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-40

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

%CSIZE%
3831060

%ISIZE%
21039332

%SHA256SUM%
82ea5136195b40b7a89f362e84e09860017ebd41006c2ddc840f4dbc23e153b1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou1xoACgkQeGxj8zDXy5K2FBAAjF1gs4obzu3+a57UZmk5R1bko2B9q1Kf/eo0vTlT8S+AOvEXssQKVub3O9+3sHpFFpGpeFADYDKSeHl5HON5eNkQNqRpft5HGocC+MHvgDgoqCNGpnJx9p60MMECB/6L5sRIRSLXw1RCMwzuCWqseLv1D2YNbUAb3qnzlchKjAgkWurstbEmn9jTUm9SxTsjwPCEi5VwFxBZLKdFAoIo+X8HR2wnlxQlA0fnpejztNpaqExZLm5zDb7HaHbNGIE0q8gWWSOYNW342DhNdtlWSsi1RWEoOQUTJC0O3zs3CuPuTS50rV5va32SKFUMqTS67aLcYtJj4t4UB2PRQRUp1sTpxnQYv6NdN8gbpN1GRY+oZH623/oKsHIj6nr/tYFyCB96PY7Utc7/XQvW/cgd0Yu1D2kRx2yO0GDX81rC1jCcRlP5RclXkXKGRFM1GaR5LU595IsloHKJsC388H/qfSqmAM7YWfX54v/1tDjL3XNbCj5DwSEJV7kCsjvyXnRLQDMoWdAHXZ8TZRG+n++CVYp/NVRiztjOZXrYJL9aoJhxnJ/kPS99jzNcESSFS9M+Jbh3SIBJYMgfPehOvUtramuuVFts8/R9pEDIx+JjGkRuep2Mdxg0cJgcONlDS+WVwl7WbKRvaFRG4zul0Z1P4uozjMub4HWEEX7CNFMZflA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781454479

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

%MAKEDEPENDS%
ghc
uusi

