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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-45

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743948

%ISIZE%
4428783

%SHA256SUM%
e57602be2fdc7e6026fbaa6f42963cb3cda400cf236e28c4a26e3a9433130955

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2NaoACgkQeGxj8zDXy5JcaA//e/YlzEaG3H4EvwoT4Uvg3QPk9NeRm0qr22O07XbURO9JToHycDlURQLLd4Q0Sh8raALBvjtMbfkgH36KPm6VxtQ/duCJQJhWc2E3NyJ81GpyWAI6a9KlEZ3MF7VZzkLquMUeBFG4mcQmUDMEl4SCR35KTHnCShB2S80x7OPyctFBrKcGzOHPFQ+s98qr6HPLMtCaOE6rA7/crfiBMtq8Rtb09JtKWAHfl6uhIp8FLJPo5jkBnmbVmnTIOCQiz67f0ycNJUpKWu7z3HwR/TlJ9AZ/WTkczbynov3/NpvupyjZzF1bGIFi3vsFYiXn85v0koeCKmoecYhvvapqGv7yoK5QMOM4bWA9Nf9CISxuZRMevUVYGs9T6RmxusfNxOMCVF2vU48NCaKnNkv79dJKXk6PPiHwva8jrpah5DthN7zwZffILA5icfOhR2jixuABWZO4H6obdTmN4bPwhOFELI7xxMNU437AEuqfvErOg5rzFJamoN19GAn4Umhf/ETwZa91K5PZvgISeLKEK7OsFYG+luIwPLff+TJhR9kx18Uk+M9avDFDVFNKZ94kq8GpPUZM6P7xpEpTqWkprNJty12/NBi1FfAnqF6R9lEheD6TFzAAhsJ76VlV0oyWkkDmEUTZEyMwpU4q1do7b2EKbUyPN8Xgoy/+kLevrEz3WaQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781937536

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

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

%MAKEDEPENDS%
ghc

