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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-46

%DESC%
Utility library for the tamarin prover

%CSIZE%
243728

%ISIZE%
1268378

%SHA256SUM%
a2f5135cb32a0515923ca22b1b8124a5a91be7fad9499107f70c0bae6a274c99

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3A94ACgkQeGxj8zDXy5KkJg/9F666owK1MHX7cqo2AXlPMVpL1F+Zr7WZShJVhVDlUcpSgY4tQTiPhDWgv4q0ZyuGmRH0PT7xoluKldG9tvzhKnDoivOSRDgkT0Jqh5PkPPzVfqKPGRpArl/g8o/UAalX+695in9+buTQx+fNh7CoQDmYdXxHZqUe+AVS6PbU9XmHoRUHKvoY4ci12/qlybj2+TjXawguax6zB2kkPnskb7fZ4zBeqzq9FE0jZO9E37Yu+U006t8CNYtkIifn5IFyWOMWMHH6ZY/Hs9zOhI1US5uFx3E9ZNwMGBv1AQIRGzSFMcbJqTMGzt6J7DL7dtm/W+lyfKvCqQKt0AmJ8U3m0IQS1H9NUv/iVnbMOy8T+sVBrJHlIUzYWsFZrX1YvQKaC8Uk6aRUOkcZevuo9LE33BGqLSGkgB8FM3Pj0+3NjWxVBzoA9cFMKIBouoPLxb6RJDPH4gmLlw/QsXgZQl4GgQGgYDB5dTj1h4ZhMaMjZzNBtE1XFTDOIJ/DVmCC43OuiM+lARrLRzeSq9qHg3QPn1VsTZh3wavujQPMGTYDmNdTBx7JgoODDgiNkwIXAZrLB85T0cleDgy55v6IFG16ByCm+kLo3scOh7YIiUa/9mjHfUBTLf6k6pgLETeyYAIWlmhMMrkmLLsDHRcV4VH0hl+URH69JjcmjiPG8YgODFI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781990339

%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

