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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-82

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743072

%ISIZE%
4424633

%SHA256SUM%
ea16423e143c3a207dd395bba412a22896b6564e98eb360602f049d0e975ab63

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCVfsACgkQeGxj8zDXy5J9IRAAtUW9yC6UuOeUfPLlWafjvbgTR+07JjI0+i+DzpYwhhhIGnlItH4r6Dxs35hFN4YbSDCmj2uVcLCTXN5BkTKk0/E0MhXC2w1gdOf295+AXUu1MRcfZbPcFtOKSCv2LiOMtyVfoqN53oecQiD3jFIjhrDsXVdbrkLL3tqd2znHLrbNbVOhJ8Rqn3gvdaB21vdEJ+w2FFDW5MDZm172fh9uBA7Qi3PtvnqyhZxKdNO6xyQcs4K62OmvFXGbPhCHir1QJHGiOzHhoqWfzgNzWYJZAVnBzL5ATId1+psdSK5oz58C/R6/oFGfIgb6ihZXrLY11l5vjiR2jEUYMPh6i09ET5gMtaoKqpVHD6R6qPBqnNnP/xwocvCwh9ct+RuGFhUy/qZ9b3eGR/WYp5850FoesiFTAlAoheJwsZ4qmT6mSW69t1QOlsfN9zE2ib4ZQdUF6BA4XnRjIMhwXzoh9rfNIZcnbuOFLDYTq+i7mxn3fhJsuxsiT0oqVq2Ryklo7GVpHj/HXC1OyK8sf/igIaFpKR/zKP5SMoHkJjTZpNF30mhvRo2fDhkQ89PfOws2PhvacflCZwWfpH/J6vsma7hZKuCJwZ5wrRsxT9Pp+sC5f48IcQgzGib+9R8r4bv1VyUj/kYaTu4aaZo7Z6gBLw+YxyP+bscR/iY4KjMZJSZBxUU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791120777

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

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

%MAKEDEPENDS%
ghc

