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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-136

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
746789

%ISIZE%
4419416

%SHA256SUM%
fa12d020b8fec850b158164092dc159b09f4d0255cea69cab1241d9a7fd35f4b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVAcACgkQeGxj8zDXy5IUfw/+Pzdj5wywS0jCKfMXK4S43/4AQidcuCmyTg16OU7YD3s8wniceP804QCqI7WFLDkXRObE7vLbkyN2Oj4DKtwen52M89WgRXdVLjdeQ/adxG6ufslo8iQ9nsEW5v/okrxiRzVmPfmHwj9Yry9bSVBOLGBhWdHYi4ew+h1w1cGjNuJI4onKOncUaFeHXLT/ALcwiiIqCQ0kSjGUxgqPUhqfJfr69i+jK7F7ivLHsQ87U/1Hayjatvrrb1fvfZuBCmOKb2LAL4WQE5fYJ/U1vLCanhQeNFodxoyhD+GS3BCJ/EO/DK9SvYE9aENozcj8l1Iyl11PumSKkfsyQlGLsG64zI6L0fxhNxgdo91s7GlSaeeqfLUW/n5fjFobMM1Ynbu0i7qgJKCVTZYAG9R9z/bHOdqLGQx3kh5cIpPTLeEWVQReF+7DdzYerhO4OsMkp3qAcyZGL8c8RpwglQOYHd91XBmB9ydV0eNsEM8axWJlJ5OHblMQpYkH2wiRC0VcrItB2nhi7pg6oeOWShgtk5C8gz9GPmWKFZ5jzT5M0QcffZcnG2C5fnDJBfeDMKjJVLxLoI6yTu0N6uTnK+kVKuXm/sLlBx61CYjjkcgS/ogxZVTEQ+cZHLldoZ+X78xf34REQ1p5y1QhLkABbnTLDJv8tHJ0ZzUW9BMJ4zpY9KIQjbg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056218

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

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

%MAKEDEPENDS%
ghc

