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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-27

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744240

%ISIZE%
4436875

%MD5SUM%
cca02d26b1606e021bd32647956a5b89

%SHA256SUM%
ee7ab9d3201efd2d748078ccbf9f928e0b7ad022811ed0f5f782e6e131030370

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyH4kACgkQeGxj8zDXy5KpKQ//RPg5sSr86+ixHAjP+duQi/w1Ha80/DrbkwoTIhEdW6sD8jxhvhgapb+WkTjJbN3sgSQPP0A1yBqQT0MmobekB5VwlRBL51CEkYMCjZ6z0lqfB8NRj/IFPTuU1GUyDYDkh1PpiVUlN/NtuoahKcShdpv5KgaaUtlhaYTZzSrnpr3AtV0hY3idQMx/hc4Bb+vw/RgkEjhWrSTQDKrR0YAKW8lO4ZveMVFA28+MXU/3OqBZFqMqnyCc5Z4oI1tGvRatxGZH0Z2LaNm+PMJLlufvgaa6dj7QYWdYJ5npzrloSHtVZaTP3l0fX4iofqAM8YLuhRkd00Dwi4rHJt+MP95cQtETrO3tQSsRq3+t49h+CMTXew+PkjJZKq9fV2zaveeaIlat9PAtSUfUgweIsDEgRJal8cWvUozPQfbd/S7fCT9QY5Fs6VdJSHqlCXbM2Dy03N2TDcGJ8EFO1qPMnRV+zn7KJ3yfa3BuwUEv4hnZtaI1rQvdFHieWM/cZomcAxssESCvfEs37q2lW4e15UczJDZ1L7ST+cUbesgwU8mvjVFHMS5smFWLi5mF/stdhfZxyBPESADynnwq/IY46oXiFzgNIIHPh9UW7kHcX5xhtngRfmaKiFhbcSSNeUlkysXIxo+16o+nx/bQbkAjx2W1wXEE5GFkypzISkFpE6vcgvo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777475367

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

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

%MAKEDEPENDS%
ghc

