%FILENAME%
haskell-tamarin-prover-term-1.4.0-11-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.0-11

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
618572

%ISIZE%
4456448

%MD5SUM%
906d51e83074e965e7c6cdb4d8628b8f

%SHA256SUM%
9dc0f11eef9c77cd963c627cc464c212016d0974bd656b57ee3c5cd66bc9bb7b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsU1dsACgkQdxk/FSvb5qZGFQ/+IzjPfefwTdQ4buwffHFfs/w72Vh/v+Dw9vdyRgrBCEqF1lxGr3lthl2v1fE+JLE7A3/OLKEg0bC1dgDXGsy67EprtGKtInBLpWZlwcMsZKzuBSbIZ0AvUUGvzoYVX7cQALRKyPzqPhJwxiHABPpahl+Y6eHbVmbrncWzPKSK4LG0A7j8WNLKuYS3RrkHKJ1gZ9ymFGRVuzq2sxq1Vvf5xFjo45ylWHDjv9GuIoUKcA2NCyBXUUuPaZjpEfxhChBgqNBERuQghKp2LE8ILWC7/buho30ny5/fZ5NOwGEbxNWrqjHAQVKIfLCNR8oHyt1TVPV229s6ag9eE1upV9CFkYbXDxR/9/y7UXcQFAKRInDbA8mb1e23MPLWO/aSDeLLZZn5Y8Rln/LErmhuIB/HeQsjEop+KmbzZSpV/x2UNsdXdwx58+M3RkorlwRKgdTcp5EDeCVZBWt/alfP1xL81KVEdoEmWEuCfRkCORGqTQSpe20At1WCUx3siAvxAGsiQjLfTAzl16YtsTJr70vVK80vjQRovqpsyx7TrYQlLGeYsn8aO7JnkBBqfsTjEXn/MSaI4/JdinstOcwTeG6HTIMglurNR91r3tLeR5TNb2ki0npOPPSsPedjMN8QUob6RfSJu2NsU5jw997KfciAib+a8fpfUegzIS9AJdISxo0=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1528091823

%PACKAGER%
Arch Linux ARM Build System <builder+xu5@archlinuxarm.org>

