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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-67

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743965

%ISIZE%
4428611

%SHA256SUM%
7fa28b2a9ef061d72f1faeb9e95c7f1fbdb84803c64ea6d939059a797171a43e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTMlsACgkQeGxj8zDXy5JnTQ//WhaetCCPQR+pkIyJBTZUC1WDFU1Uo+jL3tg0020tw1suITTTwY3eIPU8VeOIC7WO60yJqWKOVmu/23e0o6KMRPQol8IictA7rU+mi/HHcfi5U3UukxtjHJMhVQGoBhqDNy8RG5HqU7h6NvAY/5FntMRrerMR6NHPHjadpEAleboV4xMS7J3FbElswExajQJdLeYVHj6HT36V5hvgFuDFg1NVrP4wY1nejx6LKM1Tq3IXkx2JgOuWzg3ISZDMqLf8rlYeDu9diGvUd8mIPry8R85YNDZGxIwpyOOGKSQspYvAEgF4XuGuXzBjuz93iB0YL9bXe39FbiZuQrD5IlMn+0Ia1JmoI8kwZ1ayi8NaoSDd7r/hxulexyYVovIPolDmQmRKxhkVioNQ2LyD6qqaxlzZ9PIoowYlzvCvf02qsk7wWhHWe/sMLyXgI9s0dwWsO9DDX1cd8jvvqXAU8UO944lUXe1aI7UEoGeQMYk+lQgU8/vaHpMH9In5qHTeaWAdEJwaUAPaLNl9vNv7ugPm1XSnj07XX2x8JrWUPvQztpVP5EaHe5ZwUji02bfgg3dfaOBphcnoDJiheR4QJJ73r6RYiMtdZ9Bd4X1htuW5Nk+rfNHakH4dWImgd+cDCyxbieq991hmyUbbATJdnu3MyXqyws+SVxIdRV/G/D7QRgg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788031556

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

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

%MAKEDEPENDS%
ghc

