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

%NAME%
tamarin-prover

%VERSION%
1.2.2-85

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1162576

%ISIZE%
4472832

%MD5SUM%
738bbc5e7b849b103478c8c59ade00cc

%SHA256SUM%
f50db736d083acb15d170b9876b70cbd60a2b1d17767baad9fa7cdcc216ba3e6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqFnssACgkQdxk/FSvb5qb3XA/+MX8iq0s3O0ak1BeGmgLTzd+5Ud/eOe3lMWFdKspEkdlVY+vFEw+YlUpmiUMQqruyhBnV6cv1U0Z+TspVSOIXz1BCyH5OTQrhYagScmvnaj6a+g+XedtxubXpZIg8vjSrJR2rdibr/PAglisj4zL3rISejyxcj+IU5jTFFJFuqVH6jIA1i810hjxZ80jLNqu/b/OTJBzYpSZ5Qtn/eo7RpPOtZBx55xBkcl3+F2v+raypyYjXWto7Q8PoVWOlRmb7RLHCpKX/n5wmtVyI50rcdoh7qWn9IfDdwlDaMdeJqEcCuzvVbYup+9oH2IX3ZorAmT/xIV+a9sxajtYtsDZ0EBGLCkYoevWddjoHAmGEBd64nk/fdz1fcDT4vcr8qLFwFZFu2DLwv4xRkbh7bUVRyUFV8lIfFsJEe69Tt8tOVZ+yqOTn55BczXe7zfQ8dV7/aWJ+JnV4fTJggKAcQBqbWB7r2K4TgegOR/REy9kiuCFc7Drz0bVi5h1AYJ4Yf6xKfytTOJNN90m4tuaUIugmUqIfsNcj3zNAa9OfvOHxHoraV15vWngfsIZfttSI2aODqPBX9CvuEvQIxol5mYljI2A/ez9ZSMjOHTTYjsxMDbaZLdTd4a5oO0Bo0aAG0VXkgyQ83D2N2nBgkbRxqm+0seZfLZF6nMw3BW9sqWo6NiU=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518706373

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

