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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-60

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744156

%ISIZE%
4424488

%MD5SUM%
0cd15a53abc54817516fcfe45d96a846

%SHA256SUM%
c5dc371ec7ec72845efd063394d25d044566c79dc0daca844ed38fe234b8b1d2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpE3cwACgkQeGxj8zDXy5JhHBAAtvZwRTS4SIyFoqmKkJQnS+E7csJQffN6cH/Q0QIb2O8PoJQbhiiQVxoRY4oEHsyRc7nyLIAjV6HJrqS9vMuedPpPKUjPQ9x9/z3t38Zx0tJwKgAkCeXOQB9rBsD6nOtq3iFZ5k89IYnp32+0Q4WIh7Q1wO/9tAJBKypuZqltmsIn8fj+Z5wPXhG1F3Tg1pEypHxBckVuAV0reF3EeKDPQ1kmO6YSGEAyKALLEcPkiIXOHGewcZuoyGVkZ4rsdgAsxyGNM+HE4S9vVg0B+27N+N1+hyFPjq383NDWVOQwlfp061faXSbvstjZoyzpUkxcSPZsDiKf2zEnKxJfBFphI2H0WfqEpDyjiBfXPlTbJ9LABf8pjb1SLJlhLc/JDPv59V0d6UTkpeyrTJhy1/lbxU7fiPaJ3eMdzHmP7bUrWPYMfhZ6vJr78vlTJOm9sc/lGbL699rJjrXd/MnZZgH9agc3fgGVRAsoBHQT/9VZXlW4Rkpq3ehEYKChh6t8NkGJHpuhoWPNMveZ1du9E5ZJD6vIeUFVcZjH1/5j4zyz/mpD7FqwFwBGFg1eoM3gUdPpfE0bbppeMdwUy0G/yXu8kluzVkDPzOAuQRjvjVqqN+rojdW6VA1jmIbISO38fIMq5vsulw9Bpscjk6pBhEvI4fX5Sg0D+ISOCbj0dYK/v3o=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782898082

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

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

%MAKEDEPENDS%
ghc

