%FILENAME%
haskell-tamarin-prover-utils-1.6.0-60-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.0-60

%DESC%
Utility library for the tamarin prover

%CSIZE%
219962

%ISIZE%
1204434

%MD5SUM%
dfb6b02d986e26e385226b9072491ff7

%SHA256SUM%
3dcaa4107fba2cbbdb93ac2f38ff5b7dca64e426437d7c6ff26dba0ab50c116a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBcskYACgkQeGxj8zDXy5KqwQ/6AvJncWbUhBvxfDlI7ZsLZS2lrM5eRzaiUXtPY6ybPPGj3oHBH+ZeoPE6t1uGkhDcwRsTgxzvoAtiidfVUhJ2vjqSNpYCL/jbid8W+m+cng9hO0xjebTYDslGk6p8wWuWLytymurRKYelBepy6QSSGpR0xPfDOKNWi+ATPG9KaSoKnOUZPmOK1GzFZyX6nnC5O7oFEpKG/E6EZHg9k1H1nyumwFdyqVsBRN02Y0JKBGtgGJ22LvcSbAcPayHd/rehCX7NTWguqvaAK337KGwkJX5Xlh9KSbrYyeX3G0BXLCnyIUe26Cv3o4UWRnFedcXylwC5m6k7uVfo5YvXh5XAQ0Z9Mb/OkS3Wxj1yF3mmCoXzA6AbMcRSzMOwUAKhnm7cxel97seO9fhpfpi82nCj6XeHjqim5eslEadYgv02IEZb3TksSYL7yM1KMwJj0kB2DCTFwT4vuVC7rkyo1KqJzmsFiD2S4HEUVpfVswrRvghIqc6x4/A0Y8l+3EIVwzGaQDlNhXAxsg1tV/D+h1m+zJThyPUD4rZY1Hn6oLkuNY3fF2ZWqgWkE1aJ1X00zXXBh94RQVjXbneFMrb25n/qXoOp2xx5E8CvrpVoHRNEMNTN88avRm3KMVgDTO1eFshtWNedOJawQvye5VqXcXIq/30OXEjrBGiODnVP9fOjKMs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1616687653

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

