%FILENAME%
haskell-tamarin-prover-theory-1.4.1-51-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.1-51

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

%CSIZE%
1842756

%ISIZE%
14370080

%SHA256SUM%
41102ab843b02bd8d8d807d09c0211687f2bcca55047a4bc304a841760d1cea7

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1578166981

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc

