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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-46

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744097

%ISIZE%
4436850

%SHA256SUM%
2508d27ab1f3b0cc609ff758bdf3d6144bc222a426e589bce0bfee7150188642

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3BF0ACgkQeGxj8zDXy5JIoBAAg+JhFc/kJ+oQ/7vZ1iojsuG4uR8zlHbDT6OA3rqsRcRwuM2leL+Mzk4Z9gCKKCm23UGuyL2gxQ6OTYueSeJNKy+u0A5ABXc9ECNjNnT/FZBx8/feEfg+oGfwQZxZqHHVjwfS/nATt9zdLze5XaBEgW4lxeNtVaLv2tsPpwQgemCsLIwB+izwAOkuZVjO+gX2S5W65bde8epAtVayg+EtUTrnCb8bk13IyKuJk5CUSl09D4p35hEyQ4JOwNNBMPpyr3Tr+uFRBmShMt6Be5XgVNNf1dH07Hq/HdpPVrC2z8bVK0/Rh9/db8rE2m/4BrTz+OiSnzn6y8VMU1pSIbkD0gAYZR8LIjTg6OIBduFrwZQzY4/dVroV8Yp2ztCDbWNe88f5a6OmoW4QRTByLJi1MhbdOT/GDTbtobHXQo1DDvGnwNwgfg7p0ujbuCFtFmTMRkyK6RxkNw8KtW2Um+Ivduuy1zTTEQ5FHNvB1TVjqc6iIsuo8ir+LbeFElyfWf3nyk/5dCzNzd09Y0sMLNFJkhzpLDnsgIgzcj1MX+hLraBIncCB/EaMLobQXacUozE+8UJ9KcwB6SuI+je4BuE47bRWfKIFb/UH6z9UgE5ghqA01iHdnAij/ChkyKWhP8Pzt9klVFxAMde+MM+W/pflNKeIFSuVdZGe30GaW6/iAhs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781990446

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

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

%MAKEDEPENDS%
ghc

