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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-26

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
861507

%ISIZE%
5209933

%MD5SUM%
631d5e5d01c34ad86ee3f9966830cbb8

%SHA256SUM%
11626bbe8b53953938f4e4f24a83bf9797b9805b513b3588122ac9bcebce7ebe

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHvnmwACgkQeGxj8zDXy5LVgBAAjgbBe2NtcQBgdT0PNd0IQJNgb4dkunh/PQNXUYl15StPlZ4PvDe5EdFYsCAFJxX+dg+JfBC3xM5yoRqpFwYjC6tV+EFeFONdU0BhlV3Lzo/CeWf6zvqakTtoVM4krjFNbo/iPFNpkbsbZJWa+w2HA4WBKNWQB6EFUpXTjO5hAihlnXIauXaQUloj5LYvfnAfR9k2wacy9Gz175/H/9Jy2rlUutgjTfcad4RbVNHezjlC8pwt1n4payl3ER3vwq5A1hXyoi0WYrmuTs7W/DwvRTNZN7JRhibVPMfVo+8HyY/EWOGUeoVDtVXPXsMiTDNE82+lItxdzpvQ7SA7bjmQ4IceERwWh/bLp4ChCbTCgFsAkgfn7vt5a1I2lDigVl/7Ucwxb2JBpeXP1MFSpErtp5O24zOjWf4uwd8ioRwQ5+Jk3YjmiQHCt7oBZRhMvlRw9DBzvrmelLWx+0SEHokYZXQ9nfg2CQKeaOcqE28mCW2iH/9PWn0Ru5QM9S6v1TGe883Lg4hZlleTgxf5ha/FF+yLby4NnT4StB/A6Q/yb9t4G7jgNXkRKCFnEGErY0b98ZjiujWRn2ioF6Rl+YRAU2jTRnsbBnpstnmPAistxFu/34LBilTA2ulLjRpX5T/cZUn2Mp1RQpgBqaaNZuQ8TeEyOgQAfgrJYRUmGYrafCE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1643093565

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

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

%MAKEDEPENDS%
ghc

