%FILENAME%
tamarin-prover-1.4.0-137-armv7h.pkg.tar.xz

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.4.0-137

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1095556

%ISIZE%
4524032

%MD5SUM%
7db7d724f8c68ac47f76d9bdfc252521

%SHA256SUM%
026e020965221d9948f3594070411a1230c735f32466998eefd952eac6cd2abd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvebBgACgkQdxk/FSvb5qYS0BAAgYzBG7vLFIeqM6FXKP+S80cu2ZPB8lKjNwKcAoOCZ/AzQPQknG9DWCBNnCUnMNY4m3OsWGgIWj8rmpngVJQbwBSxGk2p3oVtWmX/AYCOm3BzyRqFpZu3unRXKcjCCsbuMKZGluygM6rPDAIvwc8bIolnpgkdS5RopW+O0Y8lY0sfifkzIJRNC22fEruJr6LdkvjkMNbE/yUMrMtTUNM7a/uflE5O7PTpcq8Kd6aBUcNFgZacpq34dRMeaVmAnAeMXsR1pwho5EZT50tFqqbaqQ3z9+4SwfehgnHQjG5CLIZTuWlqc19GTO3FJpa+ZBs6ooOXga4DX1UZdcv0lboecznN+WiPziM+KMHHCpefQEskaM41aeGDZ+0hv+mDxfW6tTN5/1mBN6pQkb5s1CzTIROD49SA17oIYjQya4on7sIzWpeDEo6bGETwpbWG2V108QUJQO8XYY7FKTGGdBIJ69hGFMli0K7PRhEa36l14ryv4aDutmTwOmm39ApZJEsRQ3fQtcXQqrzUk4VhjFIYF8ciaAVTIH3G/iN///nNK4IeSBHJRqXqiV7J0bv0YbjtCBjfPkNLSP5NEPWaq6ZrcPEHwg8caCZcOKGXwYPDTEmHzhx0aTqPseplOf+3hCQCvGeBoDwNlx6txD5k1zfvbkKhqUSWYuetKEOJOda0iyg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1541303015

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

