%FILENAME%
haskell-tamarin-prover-utils-1.10.0-57-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-57

%DESC%
Utility library for the tamarin prover

%CSIZE%
245673

%ISIZE%
1300998

%MD5SUM%
fc9318167946312f004f6a9e9cc28ef9

%SHA256SUM%
2b028b65da99286e4d74b6fec57ae4ae982297027d68db03ce5816b13090c334

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh2iDkACgkQeGxj8zDXy5Ib3Q/9HTusTbLFTKpPMqOrfh0ejbZ77tF5r+KDEQfdath/rc8kHx25zRFZudCM1o3CNrKN9xmTbdIGQz4ekaPMJRFv2b3atQA5HBDlST+6I3Tk3QsvDYjlzenZzp65DInKGVcHuF3da1qgVSgtlYYT1u4YWbIAmqmdglbO6OtkZF0aEmgYGGXzWMCMJDSwflDe5V2SrxvDZNrOrVrq/pO+7LnuhJ7mXzZBiAEL3hEFKZLBzz+m078DJ9G/EbflvHGUVOhfUBETDrXdgYqObrlXRlanpMRVxem8+YGlkWVT7OslyDIZzQWzxRUBYlsAhd91866BUS8TZD3xZhC0C3HGpZYaoCC/yeECp2LU+kCTw/pRhKoJzIdMkJtbLRZ5YPgWrvKfapaEfklnuKbTlJ26GOQQdyV3ObI6AC+H1cHpQ3ysweLbKlg8AfCGOQ+7hrNf1LnY55g/iIBrHI86/B6RrokW1jkIWC/ccPpqlsHauCzUiltyAjIBixaDUSrmxlq8hP0gre7roamvzyLhA0Bx1i8omV+beqr2LPDjbr5KydewSIOf2bvZ7d+TiML1GZu1o7DaDUUWxm1zK4sTr4p9ZNT+19XGpA0hZL8lgD5Vvc9EUpbQ0bqJesr1LF7LZis6KC763QiZB8aBx+SERyFV+4V6ip77u3RySXVjochcvEVAIJw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1752598562

%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

