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

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-3

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

%CSIZE%
1664884

%ISIZE%
14573568

%MD5SUM%
0876883a3a531ffdd22dbf3c1ae55b2d

%SHA256SUM%
7d050ba1b3ec5891625553447016dbc9140bcd79a79a7cfae169932de2b6ee83

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr0bQYACgkQdxk/FSvb5qb6QxAAxnOwFRAuWm+ybCGpGNTum982LrA4JQZPotFxujLRjhUBkit7PJIoC231/Ta4O9KsIpXqqjf+u7QZ+U6KvzNup6y9RJoEonBaeI0dJifr+S5Mtz/3aUAO36mW71vnRYYW70VLA6T8HHQM7OOXBrjKM5pQKyQwOVtiKGC36zQIuZGmtCw+aMZ8i0uHweIvYOMXj6bh15nUY7QMQSi8WLmCsD8HHChSuI+rgsC91XzJOmNyJZQuiZWTQz6oYDcKd9/gKHyEaVdd0CT+VFIl97bTESpE4T6pkGRbyvMkFa8ieiyMRyCtKCep1HxjDNVYP4+Qc1EVkVTItaCSaNiamBs7chsMMXTGDqrxgOzxTJvwBDq1uehZt4WqmyZmqXXAztNCVG4smGvbmvrb/z/JX/LUZ7CecE3WtvAZnykKPc6LOv5hHsFUZBo+frVsqkkDauovOke77K3vkuunyIQcXdjH7dXvX07fLktKPbMc8vAi/Lb1uaNvianyBaimjzuw605XylCxnIpWkFP5tX6bf+fq9j51JbOYzv6gdukyi+G7jQuKZk2GImJ2OxdgB3CE1hskXkWYBRgpyQuhH7pwSXlx5Ky33CqX7Qj7Zs4SpEUO1CM6Q1IfF5+w58ishTGpO6AUJ96+0ITQVYERU3oWuyVaWKV+5kfLcOamytxlGGwDugM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1525968119

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

