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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-65

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742880

%ISIZE%
4424224

%SHA256SUM%
06bd8150559649e1d4581e2b8b4dd35bd1e2064cf5e132cdf61905ee3325c179

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSjrUACgkQeGxj8zDXy5K5bxAAkMDgxaTsvP39Pjs7/DtMrPOuaujA6mrjlmDnO/ibBINwh/pq6IuogbnE7HkSs54dF5aM3PIwYZPVjs4Ns8NiEeYoMgQsKiXPHIA0X/iwc9Pow8/ix72VHNv1f1bOGLfBAsrOUYDYvzvGSpRI0VR9OE1vq/V0P8rZMgAFhj1oaxpi5S80XQfP9ctqCFWtwxKy9Y3rc9lYk+XjVQ7ak11JhvNqTdVCmUUYRXaF7qd5T8CxCpLWQxKk3FF9Gg9Nd0Egc3HKfGaHRuPxYUm5U90UXfbNDHCBz3C9MKjD/MEN6qM/HNGYyKYaoZDTqL0twdtYZBe06cQMcNbv/ejV7Ayp2h3NNFrrCVjMoJ28taYRWIKlzSDmxXn5+ccGf6PWy5tuWTyymAEn/vc0f/kz/vzbr/JbOogwu9bIiYbYLXQJtZozwFfGe2jdQJX1lPzmtVmEKermyMdjNTb0I2AGLPWQ7zTGi+fECH8MaWdpiyTziOvRbfdIOeziV0GEbMUG71KnyWWq5Dr3Jzsk2Xb9tzmXmGzw0X9qg9kMj7eokMWaIMG3WQHMuPVXrTNdDF2xrzaVd7UPl5oNvuB0UYmE7Keu8ttdZuuQJMLJVFtr+stk9j4KBakDs9uMT8+qByKhhL4+qrl3coJKRAnq5Pm+wtpWWEnPo2OWk+K7iXcoXWHFuwE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787989585

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

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

%MAKEDEPENDS%
ghc

