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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-66

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
747125

%ISIZE%
4427623

%MD5SUM%
c40872cc5041557dbfa3e60b6c829ea4

%SHA256SUM%
b87873a05ea2012b82a31c1ecbdfda54d7718f0039b2f6cbb46c4662ca58c371

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiSPiAACgkQeGxj8zDXy5LdqhAAsqvqf7qpmyRaCYnE8XQrn+xJ/Qc9OiVeZcNmj6sgi63p7wJrtkV4thUC/0oqpHfWrDGogVgs2hUp2C6UpyXM3nhoubwTQRYz69midEsMujCTLxOIIIqyv3sXtTUwkajmeDnu0pobBDtcSrlGdI+kG4vK0JQYq7Pe0JxN6t32+DiBNeoU9obtWcbBzXltYiRJhlQaloBM7+46I7oF25dlPpcua2IbMwKR9xDp9CBX76J4f08Io+8J8m+MfvJodZFO9lfqntZKev3TQCQyZYgF/Uz7MZh4fr7W5LHYeaTJgKKZvuR+dlfoYYTTNR77AGJr5tokF3puMHSF8jia5RSVHQBEw85eKouiNsT25teyl5VMPvUHiKrW3q0YRgZxv3J6FdmX68lhG1sr8e+IPaiNSkKqQ+gLZVoz4PR6kh2O5M60sbyWS2kI4+ZuFufxDeMt5Vi46MCeTukS9OQ/Ydixcp9omCCU8amO/WKkSQP91EluGBvUCn5rP13i0PeJaXR0ahB1uWEUppc0svOPJ5sfPvJ3yc160KriyER1z8oF3SPSwL41J3xx/7trrtpwuyRDEbz+QzQKgPjn5tAPm2RmVLv7uHpD4e14bVf2q5MWaZw1rUZ6giTebNr0Yx3/MsGtmppj7nM6Exyypn9NaEhhYHs3oPRV1so6AX9kUbSdob0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1754414586

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

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

%MAKEDEPENDS%
ghc

