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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-108

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

%CSIZE%
2824008

%ISIZE%
20680295

%MD5SUM%
0fa11471af06071ecf3a2b4fd87f7b28

%SHA256SUM%
04b4362509d246cd0a26812fa6d55968598cb7ba5f43c3cce267c65c7dc3775f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZVF0ACgkQeGxj8zDXy5JELA//Q0PNG9mcpj975MRHxv+QUDyB48QsbvarD/4et8KVE3aFXhMyIRoUSivKYZlSnAmZO0weNfy4l0RZ6NkJWNnv5LG/csbDhR4nVIT8XFOG/L9AoebNgcxkD6ydtNcE8RFUHBCfw4/IIPLpSQI0ymLN15warbm84Rc+uNmorajqvpCouGi0hdn0dS7tbHjlKSnMACa8cuiyAyarU8XdemmzLDRkZjhoJCfecpOHBiiLUvBtI7UIEohVa4XRNe652PkRUob1bV7mZhx7QpwZ1bz63vHHlhdLs4gxQj3TXGyNLNy172OlOaPayxmZ392Lhk3IXmAApFdJf2UgY7R5bhx6gMW4VLCDfPbVIcLDrOH5r33S/4jmiPddpYHaW2/q0ZrBMQkSdAYA1YBCV0cSmd5Liy18TSXz8Zbg9xsZ/JojFAdNKbWWgc1OsEnL3pnPCxusRwszG/kRDxy5UmVfade0Jd6IzjRihQR5Sc59CBSIkjgQDV4DjL+d3tdAVP3LNBxV12yO8Ad0usbPp8byjzGJyZeylWU3yTYLy+6MXjfCtEF7anN6Cr9Vovau8powoZlykU7V0oZly6Veh+hPOvUGdOc4aGxOvHqK53Xw5QaDuIXrtbyNI1QhmZuUq4vUNKbLCtX4ukWAkqzMk4hWJluOXMOWj+awbCnai/jxem6Q6OQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666798498

%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

