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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-92

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742327

%ISIZE%
4432847

%SHA256SUM%
5d00c6eb71de0bbec5cfc9c4c1d5823b9ff867f0eff0c3b553bd268752087583

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVSvkACgkQeGxj8zDXy5KzwA/6A125dCzkJvAt017C4+BuIgIE8TbfCSp3Kod1AMo2iAzjbliXI/YbOa+4hl+UzdePP3hFSl4XEMd+5JxL8ghKc3I9AYUy+j6djWN65w/P5IgsN8vDayqqnjWpvdzjOCO8DoSsHLt17bfNBw/hzFOn0HvfnjVl9N/+WQKfGYoH30OBFgnlOrJAARZ2mQihUxevlpaZa45q8dCTPKcObTSxocGacfcnyvHMjpTzUAqyH3hx6kydfUc4chFJ1sz+0Pse06QdnC0x4M9A9s3mOjxZxXT9mpdwNdqGZXQWyB3KZ0aXdpyg5y7yplWy1Ob+R0YJFKo8EewPbE8jP5gNhKNIQ3S0uIjE3bxiXeDie9HmcWMGmbsuBfjzQIZOCzvenlZLavd/6VzkMM3nc/DKpSXCnI+cuzyjW4fpUSJtxwPAqs6GCnnnnn4rt5YAjKmHbYKBG+OfUUEnWI9cVv6XatWJ41Qfh2QAIxU2nvkDr3YICEJl5nRW5mi33o8qUcY5SxKaXitkwMs9fkp2GXfs02OyadKrCbgVTzm0iIGlGbWiVkGqdNX94zV+I1lESLxPYa6/BjpER60/sLYfC6CCbpoHepxc9riaruvefAaJJv4KR02eogAsM90vltvr8f8VPnkEH2TB/9MB4afgix/mU5DUL4l/jYZzyjoEPJIuJcZW/Bk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792363228

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

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

%MAKEDEPENDS%
ghc

