%FILENAME%
haskell-tamarin-prover-term-1.2.2-10-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.2-10

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
594472

%ISIZE%
4306944

%MD5SUM%
d68f420eebcc1d9dbc5b4fa065619d85

%SHA256SUM%
735eeb0b14d45215521eabafb5bf932fa8e36870d76cc676f4b5b065bb55ae6e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqAh1wACgkQdxk/FSvb5qbiKhAAo1eYVHGGXGSme5X2Cx8Ra+PgkVh+BsWLiCt69IoU+1Sl72TPkc2GAcpfe2Tv+hbFBICWKVMGd8AfZ1Zez+Cm5Y4smeKyri6gEsi+Rw5KoqhcyOES4T6DAmU2t21BcOo5rsY+gGEu4n+uBnJ/1vBV5xml4IOLUr8oOjvgWYSxqdn7hW9/9QMJyOZ1CRaAaHdtMdTq7ODJl+oUfLTIOicdda5S2JuATJG9s8hP6ADBkC4pOD82kX3yoyro5Nc1WNvObsS8qDp1zt8+hje5+aw6GPN9uNHD51uJLRPC7P974H0oz6TEf4xZsl3HbpTXepvcLrNHzpnNSzqvHm2t3WO8S851AF1iRI3m1sU8NjFw1bTHD4v0ppIKyfbqgVq6X9acILVNOz0AOfXWlu2nSfXyE1U6D08g/4qD6+TufgOi/nhTimvvhl6iADh62pQyHGcTzkh8twSkcAKWbzwiEx6eKC3QL6OupCLN2VoxaHKujhhoM0u8gU04ia7+YJKKrhFltxIKtFDLqpnldQDwcCW8vUW+dQJf46ICZE0HMZyWI2kkVz15xBGqU3bHhbswtLdDAwdIhVCx3ouV4gQKp2bbYninspWL+lzeobaD7ANqMzFjTZzWUzROWuQQl2D+KjtZ9qn+Ft8JcPB9ENTy7VXHHMdbfHd78PevR49xGmV5i3I=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518372694

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

