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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-58

%DESC%
Utility library for the tamarin prover

%CSIZE%
243935

%ISIZE%
1268334

%SHA256SUM%
6433fba3004326e04367b904898a6937ba4848d9284b625590db1e8a4372dcce

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/+DgACgkQeGxj8zDXy5JYsw//d8hCGVIPH9uK6BcR638t9tWJYBDUu4n+G+NR1ySbrrE1IQytreKcqepVF/6WeEZBO+hy2+u5/7MfEkKMqA1YwYgm9sOxau+Z9qTyjNAl06vBNn+Fz0oeaIiRnYoHX1OycXJjsWClGQdYpzAgBk/PX5qUXlkbm1XiVNZyu9fp9Aqj7JIEuULbF+S8mFdUy1QSCYwlDkEIO8qiLNh33xN1BIokA3jn9S+soDpXEzDlmqcrvzZRZv/5N7mlGPjL0JDhYZwWxuevI6goSNoupjEKRppTn9j76qVz3sPypkpIH5MRmK4DJ4jY/x2mz5B06NbmuCQzYoTanCumnH9+VIcVOBtEE10WbGOFOxnzT4/E05MgYuPOrn/+a0ptOqZjhDyQ2/9vKs/9+F26SNbZhqX4BfDSLWsKXzKRY6oz5mOQ42IYERDI5BZZFzyHSIPBcMmdaeGYhuUgqY1+fnLHa0vXoMBHdqQcmeoFYIY8jvNZyD5gdMoYEGYxFych1TCOw92pJMNXpn6TSb+ZpN/V+v+0srVMvxz72Q5p0EFmSd+Mm0xA1R/hbbGY0fKq6liVc8p3FSKKRS/vWAJIAbiRMYrQvZd/Tcc9H4ttB4eViD9kG95Llx53mdjiI+mzh2YKG2LLX1gtN4AK4ssWlIdDEdDZkOpN3dt3x8ckhgsIPhzdTHQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782577192

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

