%FILENAME%
haskell-tamarin-prover-theory-1.6.0-103.1-pentium4.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.0-103.1

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

%CSIZE%
2170848

%ISIZE%
14829780

%MD5SUM%
c4fc1b1a4f68bca560a800a5271f2b78

%SHA256SUM%
56d1f095228ae8420347dcecf3bfa84988e2b865ffe8ace8701c6c4c0044522e

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFBZsEACgkQyOj1oK+bp+dq5wf/aA52PTtCGsL7eVMaU3VIeeOHNXat20e6ndoaM7KP8IeyvoKLE2ul1CAEgYofQKIsGbeWCKX4Ax26zfB5xe/B8dSw2K2BqFEb1JJVYpVTOenYLa2yRcnMyhIKJ8kxQXp7SthEt+r0I19s0X8Tfy0qf/1JQA98HitMYw8nekTrsBLluR4rwhmHS8uAF/ZHhqLFTN6OUqtNhBsVPtyjd6D6GGQHpy54qbNNDktDs9feNKHc/LV+9uGimhOawEfQ1VX4SEfWCzj+7CfK59i8D4HhB+rnVs4b7IlrbV+n+bWyml0Sc3Z0mk+wrKKJC4mIz14XoKMCdofs849f+qAnuzTOfw==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1631675920

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%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

