%FILENAME%
tamarin-prover-1.2.2-44-armv7h.pkg.tar.xz

%NAME%
tamarin-prover

%VERSION%
1.2.2-44

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1166380

%ISIZE%
4477952

%MD5SUM%
5e7ae356bbb85c73a241369006f21615

%SHA256SUM%
79cd41a9758e7314e36badc235d64223504f56708385f0d19c64ab9f4096ce78

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpH8mAACgkQdxk/FSvb5qZdBhAAn8ZM1nWwwCRKAB2A+XOMEtXsR0HH26jipFSTmFnzhfPFi35lu69He7uZDvcFvpqLK7ClECFf+gZ5fevDtG+9OI6fhEUKXKOo/40ElGZXl3OLafV68ePnsGw3O7g3LZ0nM5AdTliTEuQPb7Im4WmxxHw3P+KBOekFCTH6kmiRdjW9rnR32eVeSwSeq496c8PgJKp3Kbn695nmVu0nJKsh5eUL3bUjBblAAlDj+Oom/7A8CP7MRi1CeVdaCHif7RDVCH6ena2jN1JYB9bMZj4WIQIVnrE4szmNRB1PSsv/nqTSVKcPcwe28bJLJcU2OnH2rZTNRecH1hqTMTQcC/6nEJEc9WRe0e8fIbwvGY1ckF80aWwRwOde6H/zSIUTuEoIkn4qjZ3WHgBQ1qQbv3uxrQgA7YIYoCcKa5tNRYpC8kpyaQEHTz9vWzQHNa/IRf0eMTibG4cyH0NbXw/rEK4JmtlOLKDej1Fy/FiZeqlinQQwV5C/z+4qCzmtwTSi4foHJY6592CpSUEuAHGE2vxXVINDjW+FjUP47NFtzeHfc2HhFxFnou3mZWFYT0NNW1O+appmHQLhp0T5jKqx8meHKZOhHvEPu2+COutj1MV5Az0dSxSBogHxu7w8ghEdW1ORCkFwLVEgsfsVFeS0fGRaIv/mAM4wN4pvHRgiYUm6wUk=

%URL%
http://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1514664538

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

