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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-63

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

%CSIZE%
3035810

%ISIZE%
22831100

%SHA256SUM%
ddc60186415341d062d353ef8c97d88ef0e11e8939fcb0b9f7fcf43db279a4a8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHHisACgkQeGxj8zDXy5KsMw/+IhiL2wkEm8H3ZWaNwOTxvrt7F+mxPIOxkqIh2yNKYeZxi+di2qlC+1SYUY2lhH6LbZvPlOgLof5DUq4c5HZKxW00/I5S7A59mdxXxzli9+vhZ/2AgU2GYkm7by8ofkp/5F1PE39mW7gyf/yC51j7gziGueGHbuwn8oPxfvmkmvl6fyqT9RAjyK3RgaeC3SjU34LPR5S5YbDZMRHxxlYtH2Z4YyQ3t6AFOKtl3XgKS4N7MNogDixmBoCx3Rw1+KHQjH6K3gcjd0K/P2WFwZOLLBrFF5XgvIBY/BHk0fJds3b1NcRlp1ANZaS5FcUUOgsTK+TmWusFERvF0NEDT5X/aw0xp7lwLc19K6f1tJGXzF7WHX6aL3GvBTGDSi/8wIaxmkG/aho0bqzyNioE0dzqttnANR+FAONVrunbAhSLMcSp6tF6A6dCJu3b+ixL5JVwR/ghb209QR9XL5kTWfUdkCAb6x79m2GZsMxYxSOfDHfOgwHkDmJ4+iOvBYEqCnVGHpPGfwEd3F/aaejKtC9YW2aKUtmF1L9b5rPsnmiafgRwvKPPb4aPCUuem6JYYCkNAwNMDpOkJHHu4aTgt03QF7kMQusfLzTBW23wEHzf+pUNigyOfdTowxxXwpscKIYqj/iUbgM4PbPlnmBBLFSzhAyKlEKs2GLOgDpS1nsKDIc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045571

%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

