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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-30

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742490

%ISIZE%
4428682

%SHA256SUM%
f1bec88d9de01de74aa9ec81c3c833fae80fcdb2224b64dc70d27e927a6a7ec1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8Ub8ACgkQeGxj8zDXy5JEDQ/9EJbVFx16/vISRPZdrnui9FA0zenadKnTw9jShvZlbn2CLrw+ZmWhXXteR/GTbLOX06cIIETyE5ZdCyzROUwcEotsd30DQONTM3hNaOtlCgYcNJoC9uAYr09clo0MbkkIvJ63X7R7K6yt0Srp7ZQfXHPj99Q56u0PHdJzn2IJv7LHCaKinLgjhpFFuimOI15jrzJsvko6jcA3XLwAmfR30wwLkCUdV04jTtQuG9TmLyym++5I1gUYKbsMU4K9EKQFm+JlBhAE7/4udOHcVFndgnYl6FvepmNmsYzF1sW5p9UxqKA7xcdyHlIPLtAwHJ+gJH0fkqRgRhnIjFdGRfd0Thaa6LzS8hs8sN8xbFeMBM2ZKY3fOU+fHB/Xo4vc/PNg8FKUxGPIZM5uwP7ejIJXs62v5tI4lpbGpGqT0E36m9wMTnFG3Got7twSir047P5dCQkwq++gYsYNisJwgmFYgp2uDExvRbOw1QKKG3STieb/zfJdfdrP9LRJYTzSTqSTScfAHy72zStA6Md4fK+iS7NjG1HFFr5NETFA8QZpjcAjiKQfl2fU4HBXPTEtAk062u2+y9PPZt5toD7/lQ/kCW++olnldryd7iHB6k+11Vkmj1zOeLVAxPJRbvBFDWLvmjqjzMXD3xhzD9jYr3CuWim6s3e+5pWlRVdl5dVcIBU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778143649

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

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

%MAKEDEPENDS%
ghc

