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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-26

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

%CSIZE%
1704812

%ISIZE%
14676992

%MD5SUM%
9561464572fe163f4d93554396e49e25

%SHA256SUM%
30e5e4ffaa3437bf03142b6df8ede228410ceb69de0b2ca02664a0cfb2daa053

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltFuVsACgkQdxk/FSvb5qYreRAApQpv3jXyo0raXyliPSRxUxelk9hrVmThzIViyqz9ecR/mcTJU8BsGhLEs1VRctjfrEKQU9gR1+3rFYRPhiBOkbI575wnqDUcUPy23WdOkMzGKb/DIr3FSIEeiCkCG/uHozm1KntEs4zuLRnUm6ew/+rYeldpLuTpGeTOi9zJQl7xZv+XhpFfzuBEwYDBoIoYq24wcR4ydc8QtzMRqSk5MTBANetwQm/dNZbK8PhQZ1ZV8Pt+aVrAczCdNedI2zpVMUHlpE1GlnZIS1DlYB1FWqs4q/QwtgGoLbGuRC04p/+kmAcCY8B8MB10vPpwcYGFSxVwtD+9CGzDbt421eoKvNmbVemtg/wfmQyN7KtwM47/MS0PQMFCOEC3xzHCujQDMTjQV4INyEPrXoxLwUabwZA4EoUTU1ads2BTwEBBT6N4RFGI3d75i9d92DAXrFFxo6s3ZUry+fmMtg60QCnLWc4fyuihAN9HgYV2eDFs6zX9VoStmLmtu+HuJuIzkBVljp/+jDAsPO2gwLtaERgyYoSC/dsGKLc972lw7Xk5jramjCYmJg7FO176ar5i0LSwXvOMyMr8quy128cU9B0PWJuaDBCmZOlgBr/JaHkfyr0dKqo3KNMpF77cGe3IA+HUj38Jd5cwp7lcHm73dG9ExAD4ZAuGGP+H0g1u448GFRE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1531294899

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

