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

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.2-15

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

%CSIZE%
1601208

%ISIZE%
14035968

%MD5SUM%
fd493d1c8383a89c9729d9082f4785a8

%SHA256SUM%
c8a6c5958a4a898e3d891657a28120ec753c0a0f1dfe1fb45d51801de7b5e076

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlp/OHIACgkQdxk/FSvb5qalYxAApZVCeavJm9DkZC3dbEdqya6nhPU4j+yW/vhVVN3wmfMf0HIyQHxrHAlN6BoSFWrC6ExZElToaGoMB8XO/CIwEMSRuRzp1b797QxtZ11DrK/Ogp0RRIVFT2XQB0ualOGtabSfB7KyvWhWcfs3OW15XSHmjzsTFuFYu5J/FloxtkUa8VJfRUBhvHbj6tCYgGv1MSL7aqA7Y83qqHv+S0+gCTQfGtF/rQF0FhANM938zyeA6L+7OIWkRVmfhimFFbZfsXRezih7b9UIB3k4tXuZMuGRhGEZGOL/qMp7jFlWzmMdVvYauDv9QdZuY3UKJ5LVdsW9PvHdruc+qRc28co1zo6z8EJl4aJGFvylyx9vsRWx++XF89E2I7lQlMUXVfcDLBO+ZPNoe7FUJxbj3jfuYgJ78QGVvL13/3L3vEWZdi+Ma79T6Z89nAfij/yJY3DFjXT4T9nKI2Mw4dq33duTyr3vaDhGtb2jEudRYwcl01odL29u0Wp7Zm7yN+MywWhWbmb1CqIC6UCZuoUmQcTF+PgJ+xnLaLxmP5rGpE90DrUZYDr7RHm2PEgUeDprrYi0hTT64bQASCQ+HEAvoseaBg33wflqcDn6H95AwNlmpzV+CsL+DO6HHoFoYIpimXlrkrsiw0idlNtj7fGJ6X4H5NJgWcZgPs3I0xq0hGGHKj4=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518286947

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

