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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.0-12

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
619460

%ISIZE%
4456448

%MD5SUM%
5c92071272b034b52d209f2a0e99cbdf

%SHA256SUM%
0753e5125e49b7587e414ea7fdae29c284537eaea5228fc1d2134747c3f8c17e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsw7M0ACgkQdxk/FSvb5qbfKw//ds5MvVG8hS8ScTaSfDPtE6rq/BLPj5j/nhgLnDNrQq9afoEDgFFs+ZbUmdsN3/eI4fjit0PjAqJUo1T5BghSjTNn1Q6elzc9kal/KGd9KxRc/ha4WqXGhsaFNASXYtxvlwGy8a/D9O96eMBsjrdZg4FMpCXZgmy+5CePsmKVsbrLYY1Srynl0Bb+cS/Bdd2chbX7u3kwkxNNHo/93r+WzmhLSK8L0Cv8izeLN9cF2+KNOAabmio4erM7CzYgAhQdEKFjY+50PON9JYuEkviqHhKqFwICluQGxzfYF+2NCLV4PpggEDrb+iNH1pFH5pnM6OdWbQuiUKvGceSEX+EFIn40fZFaOBHjzIznoLsuXvyjgdtUe7v16qN7z5+9vWzrM96+yeY1vUpstb8oLtV+KoQnZXLgukC5AL1kuttluqir1aHkDC8eSe4rdHd3v5YGdGiuN40bWN8KTk9tqQxOff6JGf+CjbpMEVz51hb4QgfzyIBKBXl9bVOpqTcdjdqiaTA/yD/5RFmvBpwA0ugscenYdLSU7bd2b4Vn7Z6i37PV+vyVAZf2jPcf/7Vw786cMH/D3SJ/+bjbjc92bFvaUSWWt3bSRKG5U6U69f1Vwc0Owx9HEk46Cfr9iXGjIntXZDIcMUX8J2kg6H2bRfw8XM/U6fKiBTejZeOf9YzV9oc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1529932730

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

