%FILENAME%
haskell-tamarin-prover-term-1.10.0-123-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-123

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
746961

%ISIZE%
4419451

%MD5SUM%
edfdc6f89e20d54b44dff8d476b46d99

%SHA256SUM%
9ed9c52ece70f50787657399e0c7fec27a03f76d4a7e0555afacc5a6e21904f6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjNNEEACgkQeGxj8zDXy5JaGA//SMgCrOqqOiaO35aM2+Qlypm48z7y0OkJbcMG6HMB2fze9ivf6f901n+XZOyUBnOCi23VBuWir8GEnJl+ucLtSFC6lu7zt9FMgZzrEFOOgLoWOKTTxgFWJojkY9jhSYwcvGf+7d1QJwirwEu4s/4aOjTHZHn1Ob6E5hwwm/+1jXfZHQtfeBIgOvK57mQpeBo4XFOmRWuELR6lxbwdyh9UFr28fFgmNtm30CsqQ5SRFz9pYdLdCprRzrjQZRHcxCBZvn7S4MjA53J3CObDnh93wr/ODcPdITYR64JNHaZpTXRIGs8U9urJxcPvtZNJWEsMY5IZnK/7FfVoujKvXb0G7g1Kn3sm5atnhuS/RItuaABzjHb9aG/6d/rGhxnqxww/V8stELN8xF3PvFxk3XadEAOhMDp9Uon+Aa/ZGprSqchNMSQgt2YFc9sQaI/7VUvF/FJ8ZbP4NL/hJTiTO1WS04b3zal/fY1SlqDwka0OFt3HMMLXPnj17qU/c54YRkbPT8RPhsRFciVEdLo4NMP2gyb8BimYkQc8PDmFGx3YHSOBnnd5jxpZ3wqDY3u27Swd8504+YQHhsvPM7J1nZBDGKsXv4geBvo9c65DR6d4c6waay8Qt9XGzhW94SS/J9ySPywDa3Enn4YHruZd8L/x+FM9JaI0bcAr5hr7jtBYSd8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1758278612

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

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

%MAKEDEPENDS%
ghc

