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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.8.0-34

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

%CSIZE%
4157

%ISIZE%
2848

%MD5SUM%
09ad8ceccf993db2b5159444917b08a2

%SHA256SUM%
4cc0d856262fb0efc34dcaa960f4e4b3af719bd6ac549db36112057a56a94e9e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9c0ACgkQeGxj8zDXy5LlFxAApJ6SaR/9ivNmVnQKe7qjwo2p3WBxC+UCTYEcTudI9VbyyoX0X9PXjErlFssK+Cvk0wPMu2iJ2NAt1XKGVa3NMHXd0R6fSFMu3LZMslUqOezGAbsh6WwBk577jQtOhnP6hQUF7uxM/NHNsi7fsxji7mmbnJLpq6Ieille1aERfKbWPaS4Ad6t5hEAeRTLW4REizMQMppIZQaZFV0RQhT5SGXkXzYjlA9ssxpW32jo6kUx+esr4b5Zl2GSrcLjcBWW8FX0VFTX/ZL/RegH4Wunxd0c3H/Ppe+r2MmlpioKYPXGieEEZVtyYFVYIg/2luLZ7zGXU7v+50ElsR675knF1u4eQ77JP5SDmyHA6BBp4FYcjKLYGGEUkUnRR+mS7E0tsfFYNAIq4JnjjaEIlk+3sNC73eW/qyn7G70nOCB9OaZiPUNOuYowNuoYuzvQneIPHnhO96Qzg7j6z3XYdmEx1o8DVl0hYralBYgF9Cza4GzgjCrxoByu7RDuMXd3QFAdAKarrF6lyeyakcbmZi9zXhGS9vf+vUfQRo/6tbG0Kk0Eyr/9u0kSYBsVKGu7pGAOsv/RyjolFgP1HD6RAkwtp6BDPlOsYiN9ei7f0ud9DT0two66v5wTs7r5huNLDHwj8qu0VcreJdOZD+oKisM3bqSssfk3zG4sw7ZBCdU8MiY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340948

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

%MAKEDEPENDS%
ghc
uusi

