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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-16

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
739831

%ISIZE%
4441298

%MD5SUM%
35af408b2c57e78dbbfb40779b26e48d

%SHA256SUM%
4e7fff420630579917a41b728145ca562344af4b64572faafb7963d2521156c3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfXKT4ACgkQeGxj8zDXy5I8uxAAiG3XkqgbkuEhNvcXdQNG8OLDRljR1C1U6hvthP7+GjPggvg4fwCp5JdJjxBxXpscsmY5YLk/XklwtvnRpKqGG0JGgue/7QikbWGDYiM1Kmq8ngrIUOKwKe361THVGzblfhT3kb2+Y8GXtY64JCRypCgG6XjW20z70VHSurWyKE2kZmRhzwUGpeuX8xkyx+Qfn7NonnqvqgKmmRFr/E0ZTlkYHV5M56zL8WdAUkLy81x9bI6q6e6skCW9aDxRaUVSj6Rf0HNa5/H/7NU2HHRJ98xYxCNEUjDrSW5b5MQlDaRU5yAOE7YTj7SWjPRfXf7dYJWfN7Wp3MCa0d+2hiWZtQ4T7QnnQ9zkk5j9h8DAzyhMedBrLGYBJu7pyD6GrMXBdh2fMd51VZdpt+VIL4sKp7rkF3fMfWscvOb4VFK5QqktU5eJiiIZQaedmLUeQGl2HUtmfsU57k332nzF6/BaUAWXvJX35sAi3aVZ8KZXlpqxScnIsXTHlfAwalIwAX51uA6RD6PwMm3zGHafaiOPXe64+u94ipW7g6TQ17MCZDQF3OsxU/rc1cNw9Oxz8bB+GTOo6yMl0HOcZ4U9LWKvq0IrmhCuHZc6OOuAtxnYf7AT7wh585opN02bOAQvsOoof+JT4dimWsGAf5VRLRUGRtSBavIVM+ZVWLAXezLxGLE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1742154008

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

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

%MAKEDEPENDS%
ghc

