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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-72

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743916

%ISIZE%
4428611

%SHA256SUM%
38c12d84ba8fc8b1db2ded746f2aee06dd7a53fc914e88a7937b95f5d4e286b4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqwxTAACgkQeGxj8zDXy5K4vxAAsqDv1pFX5ZFMfp2ZK1fZOrKcNrHMbSNLkP/u5GeMD6PLUIqOh04AAg6EB5PqPnZI8jiDyLn2+eZJp9nHAaynvrWhb6kPxI411WcL3+pOY5Pp78mDqO6uOC3+y90Y4JhxrS8pm3HmlOG7BAN2LGXhmubw+G+iOOtzi+aIBD9qXGkc9HvD2+/GuI0qogpghv7XKC/kZkBbDYUpH/qRODBb/e19q1NExahZNkw6cRqjs6MXiNQzQbmYLGoaWbSLlyLw5MZtm1gOvKw5f/3zJEEV0Ak0Hv6ZaO8P6gEaotYcTvXPBHBw2yGib1mMaSLVQCMkD9DwJhJPFh6IqEGfX7RBH7qPyCmh7g12cdHimR3E/lDh4vxtjdJ2fnwZCLMrKHGGmdeTfCyT0U4pxB2675V9mc83lAzt3hzC1j9B8CkxfTtyH2tRLALuM6LEQdhGEDMbZGwk4Agv+3en45N2XtKdFZYmfxit7ZN+8j87S6qKceQRJpPFZFADYI5211F8pfBZvTGq1ZF4bTSvzC3033j/fI8E/Dr/xs8mmgeCeJe09cHaks7CHj2gUYBtIM2PfIRMzvKXcMZGaRPu8eksDjWWOZRN3mS2aYzd0jHN9BBtTQfy5mcpcAklBxUCy/PXNgzUO17r+HxNY/2s2BfC9+olJQBykRNCQ9AEhfwQckjy8Vo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789969600

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

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

%MAKEDEPENDS%
ghc

