%FILENAME%
haskell-tamarin-prover-theory-1.12.0-45-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-45

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3037522

%ISIZE%
22810357

%SHA256SUM%
0c6b8e6cc74b9065997c38672d35f58e4f2f1471487d595dfcf346eabaf55269

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2Nu4ACgkQeGxj8zDXy5LkQQ//VOJUYUn0Lca+PTEdoFkybhcoUTTXmXyXyCl2f26hLBmudXBjewoPnZb10Ggjy9/fMBalYFJhB52m7kudqxO+t4aRB320TNTwrjrWtKbrHB1o7S0+xpt2LF4i4U7bQ1SegNoMcxz/eQvvspx7PWLBH/XnsBANhXGBiViqor+Da5JuKkG4ZzG26i7AIYU82/ELb+2fFph2Ps2/4tP6ISuLCHH8hfG4rGVKBlv4zzGel6Ra87L+t3WE3wXKJ8orWi1wreBMWPNqSMZTZygd7W/ABL+SNSGnUt0+SSE9MUscpfas2JTLMYjuyO+TAqoFL5rwcHU4PDuRSx2T68nrTDsHG6J/sGhln532l+qG+F2NlSGZ4K9Tq3gCBOdxmuv6dsIA3rjWbckPc/t7oPz2Tyfe9ikAn9ekf4rWnSJbUTNYBKpr1Ud0vWDreWAD1l1GVekG7As8rzQv8sen2Sc+UH8kKLE2mgtEpTfUfFJbGZ7tQiMVMKO7lSsFHWldBbhpaoxFbRJQUdZ0T0iGMXkyBbpyDq2FSjt5wuHcjdjbKYzLIfkpdRerL2cBuaN1X39XjWmCu/EVD1kM762hJmviK+7f4fC9XKOTL0bQ24GRgsknmlfvCt66INVuqIuGDq8OyPl7VO5cxZxImSd9PVvBsqcqJG5SIo9eCCM6hisnJAmOTrw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781937732

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

