%FILENAME%
haskell-tamarin-prover-term-1.6.1-83-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-83

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
858406

%ISIZE%
5183793

%MD5SUM%
e568d3b5f1e92d0f4f4a70df0b8a3f9f

%SHA256SUM%
b7e0a98d7851012b1e9aa32205bb6d70255eb29561a4592782eaa49f7541fc5a

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CooACgkQrx0hme8KPM/alRAAuDvtIubzVqQ+gCSXadPwu67LsnX/ZS5VLnPh7YYvgAeGc9Wvt29SFTnl1e4wOQ9FyJ4BArQXqqcR3sz+o+y3WlGOym0jCML+kA8AjV5xf+gELxnk1ATv/lEQwHL9e8ctQ9oU5i1bmMdilQdcjQWiPCqv0n3Sq9znJpABeRRRmuCISWxMOzzThYIUNdM9zcinEVBL3TrQchSlZ33I4q5K0ihe97N1UlJhCNqdHhQAXsv6ovyDneVC6drY05Zkvc91+qf5zwimeJtuZLA6Jp+DYipDy7P5vYKiWzUQz7Re9ICDmWlfCF5XFW2ZMoyHR1f5q6rPrxWmiXf4mL1pCp3LX+kfxSKCf6N3sJMkFSzVmpN3q6yXtldrOf4orcid/Z036SJoP/bFT2vl5fzSfG78HFrQaMU6ngKPjKisAz2JijoH5BfguaG/QYLJha9RShGfsv4tvwViFu1tdJqIfsTmX9yKurFWbfl5KwMBpYk37iUgP7a7hIUkFvnBwM1kNj3UpQb6/t/QvDW6i5y1dMdsCPl0Y6bPVt3fIpkEHdwaFDs+jXeNn/4VsmxcDRgETv1BuCxepTrqjR5DVc1aszmThcC1F/raxQthRPkAWVRElITtn4HYS9+JK0tbCdezL0yQQ/SW/KOu0yoy0XjTVfigoMdcRszN8yDpHqQoYPfYXsI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685898805

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

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

%MAKEDEPENDS%
ghc

