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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-15

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
738091

%ISIZE%
4433342

%SHA256SUM%
9a2acc1bd4fa1c0fcb3676e242ae2d06fcc7d5f6e21c74ee74423f9e35957b3a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUamwACgkQeGxj8zDXy5JurQ//Wy2Vana2VT2rHoDddw+a+UhLCU2BlcwZMy57PIsrNsXCSBOp7HYZh7VAHmVcdmVxzanp/lAstvpfYSNHbRt14K2hqz9BwrWjlvRkVsF26fCWBDLjwPSet/S0tPQQ5Fmf4+NvyEGr9DVf5zHxLCKUVVawV0u6/W7WPlFvhh3xXQKwK664w0nVbZujEn0mCnv+tsJUgTAjVCJa5ABNPrgxxKuoafQDmxq1skd9MvFwPOqgdRJ83spC1UBpEOvGTjLDFlgQ3hRNkde4XwXumu/CXnCz+CL9CKur8Bt3sqFzAS639pLR7B4PQu4hR0up1/1MwygvabvA180H/Tx9Sj+eY9mbb2q+Ts1VvrR6VnycqVF+KffMrpWhQJjk0h/UOmSIKoRv3kQiTc7XOQW/SvNDw9Nx2x5WiyI2FVXGjmzw6nvuyM76KMiSqtlG5e78UH6OmmOVrGfJaSJh4A3J6gJKnM5dCqkVU8Wcupd99+TDeQezP/ILPytihbDp5x7aj8mrs05J+2fQoDBDSes4XvArkjqt782MSfOESLmMMg7CMcukyq1hhNrKp9L/ny3XL3K9L2cBJrY2Lw4JncgyRn3RN1aE+leDWKfbv+yiwFh/I/uiiEhW9lZ/gjfKdWITxdTif8cS6sBMjrOoHcgW7umf5HfzzUa4GE3Iwx1hek14cRg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1741974066

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

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

%MAKEDEPENDS%
ghc

