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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-64

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742669

%ISIZE%
4424247

%SHA256SUM%
65f438f2494579defd629b7e1b1744e5828e4014f81e9e0495736ca8f08d2c9b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7ZckACgkQeGxj8zDXy5KTYBAAgBU5jLT3UrCmicvUpC2iL/gTQY1zlkIGSS8WGShfFAA7ZA72s2+y7hGe1tY5td3CoDuv/H0EBbRqdprsQQ1tPoTitAngysPLzCFJRXSFMBoVc9mloPS4ZHZ0Ym+EMka4J0S9zg36aOhO2OFwzLFKiWkWd+E86RaorWAqFaE+L9xldwruM8YVwz8Bktb9uZvxNj34MnctjfkW2H8y8q/wO2lWRs8Stz72da7D8mkhe7nKW8iW28RlO5sXQlKMA/h32UmCi2bfCA3Fiqqj11ieiuZhLFRWuyrceh/sAdEiIYwYBsIc+da343wmSPAzNyNhqH/V+hpECaEoQYVczy/y8GK0AxBv8K63HNKYehY/oR25zO44kySBcG3/2aGNvHVjTgr1JaF8jI6rr+X8BiArlWDtOfmleH0ZGlBoNWBSLsyMI2JN4eMSIzHiVHjNvDO721mUtYSzcDHcJc9slk8l20E6tcyd13v6HoEcby2753icXt/CWc0tWVQ2+xXUcuMIw5K3Q2pJok3m/2NZjxOFFx/NL9PFKuyP+2Cl+994b00GAfnuSoShJVRyuT6rwXHHw13xMQ7vhT+AV3GO4SjltjcUlTKt31ZF6yK7p3/EKEKw+98b8mZhH1VyQ7b52V7c44WXLFfCNtH5QrMlDos2G7GqUwYSJtix+LfE1MSDemI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786471815

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

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

%MAKEDEPENDS%
ghc

