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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-72

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
857862

%ISIZE%
5211690

%MD5SUM%
b5ccf65d47aeb3af67e40271b6ccd303

%SHA256SUM%
32962373ad63811a4690a8026d2ed73d4c9c3880e4672095dca92f2efd7a427e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmN7MA8ACgkQeGxj8zDXy5JUUw//W8lQknZfeE4x6/VIEz9eCjfpOAHnnbuap03CzEPmdi78C9lQcTvMvAhH/QZ3rqa2dc0T3ZL3+uLXPm65TBJdP1UfYik9T+6Hd9xx2fh5P2qP5Z+G1NpzoHXzMs6QnxzSAQiHRM4Ppqr/2kczzQ2AUvWyoSGiVIryDFq6TDy7WVXEnAfRoE+kYwXOJFFHCaOLSNAOkA32wkGETuiggffvoA195G7V33wnCYGP9+QrC/kiOwhIdySn3K96WWq9TSn2PgiVr6DxxLv4GSAmPZKy73XMTCrW1DCA6/DAOaj93g/+wlTGZhmgkm/3ulvaA+PiglqaToFiuqczBTC0/btFPZdB6XB32EseXUO+GegRKeDY2kP6ozMYirV1agDI8Hy9XnPMOROkh8n9hzfmQ1EJhU/8Tv09bl4MTErYtqxU4q/uFg9ZY4UjI+ai71qVplrEylCZ8v2nPAn1xH6Cl9puF4EbEaw8tC41hohFwbRMwsIN2VAn9OcYjabGzZ/enL+dZiUFjVz2k4IXpXrtOVTB4jLwvD12FJjQGrWylQq+7PO/bETPkhSAK2c7fVMBZc2RnQRW3sy9TV+cr+OG+A8GtiDOinHbBZfkd16zJHZ8L8mqEva16jkDYIkpJ41pCvuKRZMlGVljE0rWEBfkXnyEDGoYOqaDw07ULkcf+k35Lpo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1669017526

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

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

%MAKEDEPENDS%
ghc

