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

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.2-22

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

%CSIZE%
1599356

%ISIZE%
14009344

%MD5SUM%
7869856647aefb8348a1f7102f8c2b0d

%SHA256SUM%
c07d89c2df0f4d04858007d41863f464be1badbe620ad87a81a9775ecd710efc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqXrgQACgkQdxk/FSvb5qZiaQ/9G+oy7oegoT1yIl+4SJgHgFr7oIo5yeA9HhGmFQZtopqP4L2lFJR/YadzOcPqwgRQbLikZUFNXU4LLkgRWBAcQ5YdhiheENHmomf/9oFtHMP2RzfuEYglN0dxW7qzTuBIybhdguzYRjNUjS0wU2e+vPG7aeV2nL8KwfiA+fDCG+z4s6NCfKMjUoknW4oSrpQ7VtxK2TVrq3hn/HBPwSeifx4kfraOrGHDSYyr/JTovD6NfhH+DtrfutHdnY4iZPbQAmNSnr1yJHzm+ADfr/5Uey061OVRO3d2TRtVEG7YOy+3on0Gbae5cjXY59NPzk7m92+s62Pb96Fwlft6HOLQ6FA1GbpODrhIQgTeIYSup3pAlc7B6XpM3FfUM/4XQHcc2XZyBAi/zNGhWPfS/Hb12nwYzsfQJyG89W1/Awy/1SwEQU6DcdpYTLKTnCGbf8mu6ubdJ75SDjJ++ElyK6TBPNnWv93Sxx/qVRi0+x28FLrlmV1+9yGHndPZiSHPgF8tiJVitPiGyILFpPywL8wsDSccgW7jqZDpp5PygEHOer+hN82cOwEqcaNlVmSKqYgZROsEeCHUD1fYO6XsE8TgbInH2RIHWKUE66eATyRUJ4TSFINuXRJ9tODV0Xl6PRmIqshedVS8XtVvd7ymBjbUxUnBM1CekGTBI9mG/DzExP0=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1519889909

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

