%FILENAME%
haskell-tamarin-prover-term-1.6.1-83-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-83

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
858406

%ISIZE%
5183793

%MD5SUM%
e568d3b5f1e92d0f4f4a70df0b8a3f9f

%SHA256SUM%
b7e0a98d7851012b1e9aa32205bb6d70255eb29561a4592782eaa49f7541fc5a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmR8xt8ACgkQeGxj8zDXy5LK4g/+LUjWDrit/RyM7A+7v/xvBIDoE3pUYobmBRu7QGtgIMMnJcYX/H/DTbcVur4q8j36cyU4tTEahWtcmew4jHW4hKkkh8zQnNLTveUau0Fpse2Ym3cvZeBoL+DcUBuFx4swqYE+wqBavMcRNkTDer4iwdN2IzriLdZ1Ypnkg4t8PRm6MCzVZllcPSCHQjxcmHLdolyNtdDeG4ASGiQ/swOUappt6vT2J453pokIHGTZs1rsLrQYm3fJuIbbmVlOLygZBhLqsrs2l2POQFaYWyJCacL8eyFgA809nwrnuy2mfP085TLaPb6f+n3JUyejyFbjj8q4+glZpUzfgPLg2aH6N/kSsx6WUZlavnr5MiIgCe9iRd5DAjo9hxKoFGZ75RzfNScs8sfnrdUnLl459KsaVRzPAPhmABtVlG31vdu1LqCelkxsgNGI4/8vokF9+kF/bo/8BUdNcdtbJtLzLPXIFM2mg1cqaQsF2v8dooLGmUFio5LRaboy5YtOWma53M86/+dOrbn7wS+hhIXGF2HRmcnC57le5/XEPFjbvsjxoml02bgQeTD8QzvRYz7Mmx6I25rHbG5U2bhyJN5atoqLlYutuALLcVJCFLitvxwI/WyTF31SlKtVJ6pCfrwMK+kSTv+VAgHrURrT/hWl1QfigUi2ndwov/x/yYj6rMVXkPE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685898805

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

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

%MAKEDEPENDS%
ghc

