%FILENAME%
haskell-tamarin-prover-term-1.4.1-38-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.1-38

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
688187

%ISIZE%
4510803

%SHA256SUM%
e5135fbaed840c274e91e20f8e6faecbe6e15f4bf968d15769cc2c0700334585

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl4QxDQACgkQeGxj8zDXy5KVZw/9GJJQodHLqFaQZiK0xddIzIc8Y0vZXlLIdJTnYYauFOYazdikl0j27magobnlRQvNTfq5UsJS1xd6aJTANsbbmwCro1cBcSWFCkYqIIw4uFWfpmgbSBJpZrgzhi+AenYFPyPbeH+EHMMZ/shnMTg5l7mKVlHOiawQBTxS68qlOyZr4pSJ/LQuC9zHiU0R7phKVIfPFNk73s0yDX1AsqtZHIh8ncNYzt8aH7prFMPKC8TsqAXjBGxI2w7D+80Zz8MqeFpK0Rsa5mgCcqMJE7HTSnxuuIKj8DFws/9pU17I+armMGluuf6E9FTLumQH1C6Hlku31b/KIRRCd77QJFcoZtc4koBf6SlYeMWcDa/afD2L1dHFWEKWAUjvQySPPH5tYeK7nwYXx7b83595XKXZ10OaBgazUQeNo675QUR9N332WCkr4gJIZpoG7h4dMmwn2Uo4kwBdaxa2n1L563S0a6dSyvPo6lV6jBJ3EEg6ippERUa5ODJ27BatlxN/sUFMH6kYW59O0qj2hLjnoxEpu3Q3yWGkYDRWjvRB3IY/kQ821IqUchAQRPbPHkF1c7GQcpiFeHlbumShMXiQImXoHFwQSWYaN3rXb+sbnwsKUNWEgehfECR1Uw0bfxFH/l5Tr1x2rWOT5prulFWFEDIKNXx+ToGCsDfJP12uQcNsknY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1578157028

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

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

%MAKEDEPENDS%
ghc

