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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-95

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

%CSIZE%
201894

%ISIZE%
1153274

%SHA256SUM%
f440bf0fd43397e93483ca616cb21ac9533843b368ea6a08bc93e0e2f43fd224

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAtwACgkQrx0hme8KPM9CxA//Rhwdtjpcu+YUZaZsnkvrzEg4zEPXlpDmdqY0yrT0hiLEH7qPFQ4rlNsy8tIuvSZmcpj6SdpZQEjqttJY1ggCY8Z3ES40UmOlRxnYqC8294bteeqST9Y7IXlA9ii/oZfRqp5FW5Eu4CkLhaL+5SQvGL89PpCOMzcjxKWhLdG1poOhqxmsvzy9X9OWIEVK2gSXezkcvrFHi57G+lIbwngdGpMR3meoCg22XZgZ3+mRXSZz/+PSyu7C0TZFKaTysFS5yuTVF6GU441bxJTXQStFFBB1Yq8XIqA/CdHfGfWNJX6CYZr1EARyY46T4d3n6uw+LEc/7l4O5wZcZ9XmrqWImTKMqM/cG3gabVvTZ/+qmMxd5E/JBrmba08eRbvOIOar7RJF8rvLQ6KdGbAjg9WoIgOhTCjY36u1oLQLRX1kqME+vW7Wp3YxSmtlSyL2fmurKK5ldL84t1QjIsJYmpf7s1R0xyxXCyRVIZn8Gb1KmmwTfWlPfwSAqAXlYQjox5b0pj33OyXsvD4HpizwCASayEOnGme81+C3gMgNbmV9/hoprCSZgv8I9Y+7+KxwJi4Uvx2nAbMCoF7HMgzpUCJjAQnM3TBMcTqWLmk3yVds9VxNx735CXMYFazzcJ1l4nid3cmk3yz6xHB0TlOqK5hQDhhoSKQW6ieOT3+4gV7Vfpo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754315

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

%MAKEDEPENDS%
ghc

