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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-76

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742972

%ISIZE%
4424534

%SHA256SUM%
1b65605191c2975ff3d02d2a5aa9ec319cade6f811b10294766d20aa8c101a95

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9G0cACgkQeGxj8zDXy5JF7g/+LRRLvSYiq76Ch9xle7ffnES+bn74A39c0gpP0n53HTy2Cw6vAqM+lBt/4vKQVON9OzjLpGqcHhIic1U/n1B8wqm/0cdeA8xistL+Hmbn9Ii1Ge4/fLlmF5agm/jCWsDSZ25ufxgoG8xtAoLj8gyz/DNwTtv/4p0/vothpnXgpYpvwKNhdK7VyJ3qzy3+yRHLiojveSfmDirBuiDS5wBpkV4YW270s6GVD7HpV3NeHCg/tXgspPuwFpcnZgLJgG45bZvqDWbVO0lRfYKhqHHg52u6KopGHg3LPylwRs2/Xzdu7VN7TwYHtK6OGEN4Q3eMHC1IMBDzy4vUk3s9eLQolQIkfeP2t4aaooqBq/8KqzKyUX/QQT/+KopPaxgsOnJ6hnVqjXbA5GYkP9A31POASBmCu3MEntjOVqFmA5Mqhl0HWE03trwOPYkXHTzG+4Zgh2cuXtyZkWjuG7oKnuwGr5mW3tPG9kDVQ6ab3PEFeKbnJFCdciMcWyTXgIrtnKd8QJiSe/rBaeDaAas84N+e+1L5gWFGYfaV5Leo6k3RLz6PpT+rAAtqnDrSDxihGJwHsVjyqSAOqddcb7l/U7r0CJz0n3cSykJt6iZVQkuCiVHpnS7ESLiXhVc1pcoQYseIIDj2FXGp8a/dUa9QpoduikCWWomFVPDXVm1EquK+ygY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790778069

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

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

%MAKEDEPENDS%
ghc

