%FILENAME%
haskell-tamarin-prover-term-1.12.0-57-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-57

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744217

%ISIZE%
4424293

%SHA256SUM%
0cc2026fd26b65339803bbb5ca324d32c86d3fb969472080342be7fd7492e987

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/IYQACgkQeGxj8zDXy5JhgRAAvdLEmkXl4wTLrM7OFGxn7zFIex9/FuGVLFzLRR3daCTlDRpwaNRg1Aw4M0O0M1ozvqSfxhc6j1WUc5ucKH6FMNkE/nSKoHr3w80I3kH4kGX3CeaUeQfeGey5+Tio1to/65yyRy5mVZBI6XiSgRdht6QlrG7Fhiq78Wxm9PePDSjAY3PnPnO0iy48fSg+wskIaLum6L+IXBFdYahRPmqhnIquplTtxeLL3aDpfQKIVCWtmcx1cGr20vas4cFc7rgdHBnkuqpUmz0lTmjJBA5wvsiYyBHgyPwlnN7nlaBRzsRpAOdA3Ga8u6gb96ZGx88h2NqyFTfq3xDte+YTm7fflTkYRKiBxLn1sCXdJdYdYdw+SY696gfbpz0qiuXyBT0pRYAsvHHTltwdaDlhbBXcSEac+l814VN52c1M9lFPNOxwFE5CWS2jjx49kEr8+tL8Ul0r5hICVG6DQbgk/uXmgqvdK3PswhKsb8/DGtUnsedndgXk15DUYuSRMy2BvqZnKvgbiUFrnlPFe26Zx3s1cyu0/pb9I88tM/s998+gSkFxYc2MjSrIhlEXX0A/5qtYnX2CJKYqdf0TLDUDaJPk/U6o+hBAEpzV6Z4G9+FuqAjMQrWWWw58gcdnS5J1+fzftk00/8bR9Rm6Nnbod5xLInw/o878toxgVcSu5fbswoA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782522223

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

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

