%FILENAME%
haskell-tamarin-prover-theory-1.6.1-56-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-56

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

%CSIZE%
2859096

%ISIZE%
20898855

%MD5SUM%
992ba50c35cfe6b7ed356fed8a497a93

%SHA256SUM%
d37ec7b795985dabefd867914326c5d4fab6e91f7f82957ab711e0eb81cca771

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNEQUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbs0xAAjJbpc1D/CMncakfv4qoxxw2JclZxRHtQ2lGR9dF2p9C3dG2PbgxOHtaeVtxZ1xqOD3sYRLbo+gmW9EAXNUZ5R7tkXMOKms4yTJcL1lk6oX/hk7NdJDGNRcsSv7XrA+MjD8Y6z5iZWtfg6aPBv+Lf8Tr0aayCH1juXfUKl4d3CLNfDB+ZglEIZ/6EdON25ubVs32Nne9OnT/r6mjBfGkcOac4X/wyvuhQLwpPsAVjwgjVCTzaDX2LGLvnO3tTEdAXdvecqDS3UbIclyM3QHO7KLUpYNDNyRLBpA3IUvAB48PLXVIh6Je8i7IZFftx1EhxOklslYP3zF7VMqdgztTLDs6ccUrO+Y2gyB3WGBNFqrtQZRWwDVtTgO4c3++xY+MEFtMMR3FyJkFPlDM9OSvs68Srzdnc7H+n8uxzBrRZx7hnWFR6lhpqLNp8CGHcPNraY2BjV619bwCd55IScIymVPCLUM2lc3nzAyvbAXtzj8wbTrp0DYMU59lMN7OxMRtRBGm9bZP5hXbJAzBbS5+nKgOxiCAH+exxIMQSNhQDsxdxf++e3mE2wpp8cdnbrVj8+CFK7G0wA7WIZo9SWYO/jy6cqUNSs7dQOtPIm5bosPVSZOWsmO/4qj+FAGsx04MtcsQCKOnPtQBbmACxqFZ5wWbOIZFpjTkr9NYkLDnBFsk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1648792923

%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

