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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-30

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

%CSIZE%
3831536

%ISIZE%
21039436

%SHA256SUM%
08d416755d170b0e6c8474c52a1c693592236fa171c5630944de6f7e9e2fc607

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8U+cACgkQeGxj8zDXy5LGUBAAnZzDVxCLasexqNZeqtFGZc0RVKSAOTTihJB4ercsPT3WEiPtEtiFbfFIqwEYCMwniv+rOtgvO7JHLqnwS7iGtibq6RGCDfbA8mc8CKai2dItPgiH85pd7OaEFsaqLUyRx0AittLj9UmKdyiueOekC8uNcDcQ5jyEDBY9RRv0TDkeTRwpvn41uFsdBV7Skiv/CjGavj3jyy2UfVDBc9qqqpKJlhfd+egMWSB2jTII8j6ccZV4S48KZllwwGMguf9AtTE9u+sU8Tw95QafedPRu6Pgvz8K/JIsexIMpfdy3Duryai2qHr47PylzvMFnlvIXRpmfSbYZAHdfK8/cRWBeN/AO6ltTcEnvRfKmsa2hVb2dT2Hp3Nw13jf4+58XOPBv8QNydIUJiUuqK8p9ViBF69gdOf80c8F+Ecogo60ymjKVbMMEuD2QeAq06sLvCT7b+WgMUdq5bhJ/Ghh7ICHJpXs0EfmQBRXJcMe4Q3kI6/0d2LwffF8vPiADr0g3o2/kHdQFxIAb1eX0qVVncXgpJ0Ft7v/DO2gLIfM1HiaOQ2AKw69k1omeKjz/aNn7iK5NVkRw7LVDyzJ8I4Bnpz5TYQlz120tvHOtD4h3A3eMegi/d8tNstga7KEuJ/5MKlEuW7E1zbRvEIaOCVU6PJb91jnVCoiFOU5qWfNtlMjqlc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144127

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

%MAKEDEPENDS%
ghc
uusi

