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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-42

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742396

%ISIZE%
4424417

%SHA256SUM%
2b4f0dae4935bcedc754ecb63b6cd9c6d5ce84910abaf7ebefff411b49fd58f9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0yuUACgkQeGxj8zDXy5JvYA/+OZTwyhGdYYDPJFWBe8wWiXBWmfsNa/a3adFsXGjOgy0Bw04qlxsc0TfWSH4s55WsWOizx3GvZGLcA0ZxuXG2IG82sguAA9oiMQBPVoU3b+aPCJMMLpuBgETqugGqLDu8YFS9gh6iT7HfGCTcEuc/cwUraHA24rIpzyJIlTwC7E+c8rps/RzTF598efPTNXPhmpFxgI/xhGYaUixivtwrd+M7JIrlrLjjVJdDd4crkM7goJ4CNAKEdjimaDkMzRjklO6uw9TCFMRgawxOPEjvfq776jBtkPyI2pYndpfO4KZPEfXlzt25dr/qsm+lb9hC1ElzwUaSWuxqabU3r2Ed9MTAnnyeNlnHHjtLIhfVAWBvDYvZKF94LLqCLRpumuiM0NkjUC+Xtz/xmepl9an4yqDaVksAIWHuB4S9ylUowUugV2Vy6pBa9O0LcW4O+QR75DiCnzk41UUIpuePND30ggnGhAvOatIqLdgT3blVUw8AO28Oh33p7o7lpJXxfhxWCTpOtetELmtKZ/n+hZm6bTBH4vnE93laTf8d26Tuh1A37rJFdqL/p7RMwzgF+iLW4ZjDkeqGVQTI+pF4P+mBKpE/zp03HQN5Froim/ivkrS3XdD5rXF8LU4LSRmDkQu31gdcKDlsTiDXE3oPDK7haImejwLY2GsLGZRFtTlJgIw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781844689

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

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

%MAKEDEPENDS%
ghc

