%FILENAME%
haskell-tamarin-prover-theory-1.2.2-9-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.2-9

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
1600636

%ISIZE%
14035968

%MD5SUM%
6c0c7d06decef0b78367ed4f0c5963f4

%SHA256SUM%
28bec0a7fcc8ef9bd166ed18e88e1ba61f789517acc5847641daacb2f94f028e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpH4w0ACgkQdxk/FSvb5qZrbA/9FDEAuXLHNovvkRcZFxWYo2MKhgMZRDCBq27krn+dRcF7FEzuoO5YCNmfOUc4itmyYXTqYl2faOkGvm+ZcDtoBwLy94PBXc0coU6tjTV7ssuXcI/lr8pmvWL4qCMskcDzgapHtfa0RVGXK7cgIy74xz817y0iQy1bCzq1GA/qvsJQk7UDamzWDkwjghBUaW7FPeooA+wfvKOzMQ02qhapyzkAjGHS9GdRP8yR1skz5Yh9qZpG1SfQrglI81dHPr13CnULVZtenCIYBsj0D3RHBTCNiS326ciEI8GgdvtnxVU/UlArwxKfa3eRgHv6OVQEg3nbcNIkqDMf+c2/5Fx5WRdrDZGHCI/WUYMlQLHuVLOy9sUgOPsTL/nN8JR/qM2R3cAmS0rewMKAcdyzo23PQ/UgLXJcPf275JO9o0LmzCERVSzCcuYrs+mw8VFndAADNZMwOL0GZruiDcqQA190KwqMAKaT2I0OR+KYDplGKPO8bYbJ55NuVC/8KE224nhUyqUkXIguXTt9fq34mo48rYDFAqvTjVVvBjbohUJeVpyIWVMvDSP4NIVQEh9PkGWeCIAc3aRg5RkXoW/N30vo9aLvAyU4JL60v1bEJAVFJVs5ByEBPdDyz/yae/qX1xtjOgS639DeIDrU7oj+4Jz5uOyTSDNyRehGuuRz74sUrwc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1514660606

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

