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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-62

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744109

%ISIZE%
4424446

%SHA256SUM%
cc47a10a93a52079b4383ef9cf208e6520b2fe166919aa1b48233e35ae3608e4

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn30MACgkQrx0hme8KPM8uVQ//Rqn6Kho+0IBwgysSNxNIHn3rpFiGHKgRJ/hAprYbgGgbOu8DTJLbjxVhcAEOJ2f2VBus/iyoyy/BOzb4zrwEuDeKhkFnto1GNn0l9Mrm6MJyg3IQUkorxFt5GtX3v4kCDNqsacE5//sthsReNtWWOFauLDwzUusCOnMT9tJ090n0UKkSyXm0DuMdRregpHqfIoHfWXxrnjFMwm3tkEHeYS3IbdtwLGSi3oY+XXP5K1Vb4hVa0ewVqdWvVzdprTSCVz+IL0FAB2ISswagDHtHi3JTrmHOMGuVR7QDYr/AK9zf6n+PCerRmdB+JAFdtG2+29bi/vbLBq9pVHfvg4h6KksGYB5PZ6SUxhfI905CXIQbSlPDQfOt2T/NWc19Q0+TBYNjbKPyxux1NFVHuYzPnTmD+uVIkqgSFz60cYO8n+vJ0q6DYDEZfLQrtMIwXOHcDF8WCkRUzS9Nnquw1hi2xvBHMU3g6ik2uGqu5IC3jISW9WykDf8J3p1pTtO9Kpa8PsILaKFKmBDMD+JT5RA+Oo9+GD6WM7tD62lTdwv0HgcxW5U7i47VKIO3CozFTV84qMJydUlKSMse1jAIhCZM6hXNzYqPhpO0YVjJXmBkc3tyoxvxnmxRnheVVgx1TaZR3HJtucFuLCxaGjAaKHqJ/O/F3vJxC3dqUPt1C99vKEs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045334

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

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

%MAKEDEPENDS%
ghc

