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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-80

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742831

%ISIZE%
4424465

%SHA256SUM%
f4ddc142d9309d766034b0e3043386c6ea5be3d53297809fb78c7fc484c79702

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBWesACgkQeGxj8zDXy5Iwcg/+NKgzL5QRQ3lDRQuhWGeQtu7jYeW0s0KjZeRp4N22osGRSAY0aBtpGxOCugrktj0TODAKepXtiQGXSy7QJSUDYTDZ0iZME81fDYDpYVv4D+mPC49wqp/MxJca9of/ULF/3sleGnuh5379GNT4lTclIgPhcbK9JK46elNZd/zZZHvQkvvhAmu8PNor9g2rWk9BZCXUKWy1BVMyUDYFgb8mNMNjeByTn1U9CBa3vmoi4K47jUPOCXNWDKNuJXZKefUUcJXt4FLmtIOiFd6HeNRfJ5w6/YwxsEOREsShGbJ9b4YNw6Q0BKWjcAQD3ylKq0j7E1d1PEHrpiAkOAhM85tCDOQPcsZJvVT/q2GuMbSiPcKZj9ddbGK/qpckXae+dO7UV3rWYQulLrXFr7gD57j7aPTNQjOjmVSYViG3SdQLleByVTwRdPWcdAg5h9cEkOAOGMGEa0busMIu+bAiflrDibHi+4SS4EKxcAbpLi9vUJUomUUePmSAL2jQ4eBBbCozOM3fsQVO1hDpI/dbBeZqsUzLn3RYfsEeQsdG11TdZOIk6JHEhEMT9YCeIyMbiSmtP953zwQff1lAe/QgKuwaXKXS4eQaMoLSDLxoDcgpIlMwwjpZx6vzMquEU1/WRaIeBfBTsPADDK40AVhKNyOVv2fiIpKk/skDANtiKLhnFx0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791056340

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

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

%MAKEDEPENDS%
ghc

