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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.6.1-143

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

%CSIZE%
2824999

%ISIZE%
20684949

%MD5SUM%
c0cd71e7a70a0df17e00c55cfa12ed47

%SHA256SUM%
cc4f3b0454e515a69b37b743bfa690d3172c38da01b8e69133b080244ac930b1

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CooACgkQrx0hme8KPM9muRAApj6vwevmrOJYApcUuqpQrmNVOFYzKEWpx1mcOvuLZX5ko68pEOFNMmll4QXxz03ckU2ZSK7I7uIQ1p4feKUTLNdytb+uqVa/t38cjKCE8uGSGfv6eGTFO81mrYRQGf3yD5uZ6HholEsbb+4KVgM2QxbmHVO0jjq4NpzL+y8lioS1khV+KaEAbdmiyB+VI+Pkqprmg4NrELPFO67ZhidZUTDqB0Y93Vk0jyK5WAEcCQxOpVTvymldvB+0U7Tv93yxquQcnlJs4lrd7eGkXVBMlDaOdLlsb8MEKlj6QzOwVTxhoc9b1Gbrw1YRQpNlg5y73rbZwjxDyPz6n62KpDbS/zpB71MpfBvtZiui8IkB0avDffl/H2QZEuc8LqnEdGUPK05GsFF/mKFux34XtdoagzEBYND7/Htg6DSBhcP4+2WcqlwvpBNe9hZgtaa/qnQ1f6UtLZievCUc/oKk64XQhN74UsKekVQ4yQxVTN52z/3xlItXRZl8PxVwT14gWvfpbCFXyNkLD/0LzKs6QRvdIcRRYT0Bf/SvIyLh3AQ1ggIpMzNjU0Iaqyg52iY07k2Z0ubb5bMrf3zSIi3cAfgT6ry3HsLmy58+OQ1ZRqTE2aqcomntmqtPZrmbihA2/9kB2MYTgSDV/OKxADsFy/31nfxEDSp1WOFXzwOBp4wYiXo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686580696

%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

