%FILENAME%
haskell-tamarin-prover-theory-1.4.0-21-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-21

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

%CSIZE%
1703320

%ISIZE%
14656512

%MD5SUM%
aa7d48e94cb002bd19f3b58a24d28b4f

%SHA256SUM%
2358a492d5fda0ba527ae32cbd0f46672520e29850ffa484ab7acae0a2cc1ab6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls3oDQACgkQdxk/FSvb5qZN7A/9G0nWkgSRM3NxwFlOOo9CBeZaMgI9jcCCpnc400NrOuqfwZoMpPHCcSEewneudAHGZumJJ/vbpDaxc6+jvzFQ20OCbgMqTQhxu/YXwPe6iRoAMUBgFLv5yJ2x88RWof6qH/3ZUfj5QRORHfaQCBFH9k65wQnsvIWj30d0pMsxBxvbu/SkXCmBdmYVtZuyHXdccNvO31LyrNQQsC6fzjbRUCDVjCvIo3mmzLHGC4IRYiGqAdwrykg8Mo3kyBVZ++vJJpdUq37DYSOSSkQOMpIc3Nb0lYTlysQ5Q/rwo5e4KkD5/Zy0wAfaETIkrtO8Wceau90P26ViI2IMn/kXUlrbyi/okESMZTvPDg4c4vCgNsGNDZIq5AiI2AsmNIrpJiJAvMNHW/mW52NO3jg+zW0xtC/NoXCBxicShTqPsBqrZoNTP9obL5sJCxyjSA1Q2UQApxfkCZJBL95SxoraejLMYw0rQkStdQkNMVzoKFs2lF+teU84dlRcIvYZ/91kO+cxhSLgz2HeL0icWLaEM2jNJo6xsw6qB21u/RgivnM0v6WEftSt0Z25W4hOPA5r9CiVB2cPjWdLnnrW2oa+BGvsF2kcAy6ALg4I8DNgjmFo3GnHKHldk5UglAQ+zya/UQPWVjN/NSl0EN6S7ShTchVJyH8Lsn4TpmBAwTM0MKQ92wA=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530370952

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

