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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-69

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
858252

%ISIZE%
5199447

%MD5SUM%
fe59fa2c56d98f597a0a420a1f9865a5

%SHA256SUM%
04ca4d30c7f8366a445801c30e09c761923f4c794b1f3aed9c592728a3a13bc3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNN6mwACgkQeGxj8zDXy5KhRA//WYY54GPT8uH92CMC6VBfu/zqourFAnR3KosUKsG+INYkrrTNk/+liySFN1ATIgzoDkTqjtDBw3PesUZYu916JeTG7VHD7H4tKl31MK6Uv379mF6R08OtyelQcPht/rGU1ZjNOQYC/fBjO7GnJOauh/6KPXldRCoueMhWUZzIdjrR5YhNAHbCRBpk5RfyF+LkblsXAtV0Hd/AG+6KWseGWCbzNZfMx9qJ6bR3WZa42z/r0t6N5F1fUSBlZV5YsycJQ4trrVa9dbY+tV0G0BCoVzMVtCMcncmDZ3oEv1L0PNSbfsTv7tHzWp2/jM40azj2Rrjwrf6IV5f2hums3XjB67CJS7YYVmxIsM/zU9gYNZ01P0zl6V1tZi9fRRWgxD0A+MFlLT/S4lPMBnuQowaor+jH93GjSRpA92xRZexM01MH6WGXHvqfIJ3DsC2YqfD1byEdqj/zGVBFv97Pj/K/FKDXRRn1QEit0o7ndv/7XS1wTn5ECZBikHVwu8ryWYU2bXPpaklir1+AE/i1Oa+5lhijAlhsdG9IR9bjuJv5w1DccZjHJkvB8LbDTQxBnv0t3VwP/Y3OZ4RUWoks1PMEBF6WE1M8ikm0OhLzHL2Wi3TV4dm5GIXYpTxN7Bds9DJEjtyT6SdDSCTtcJRmDaUl8BbHHGkH8W2SSBL2MsJysBc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1666050559

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

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

%MAKEDEPENDS%
ghc

