%FILENAME%
haskell-tamarin-prover-theory-1.2.3-9-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.3-9

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

%CSIZE%
1644328

%ISIZE%
14468096

%MD5SUM%
641e830de48ae2dcc31c576cbcd0fd23

%SHA256SUM%
1081e767d9aab02496107857ae3d459a68f02edafb32b3ec8fe2ddee044f3a48

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqy8qcACgkQdxk/FSvb5qbeXBAAoIjVmNuP/W4t+6UcCoiQG0Ae9zgyYBLyUZ0uXWw/67TS1CkGDObHoeylmcK/KfGnq0De/SOs1sK2EdNqbewAcPWshGoksa1hKqo7dXwq4kDrsh2tgZq88pjAZA4WC8s5JXpQfcsbjzuczAOtBPuk7VLB6eIRBRNg3iYZA/bYK2WNs/ATfMxYtrEpo5X2UEyeZ5W6ZPQuy8ubtXR8DPTJg6LGLlOYU0lHunQrT6tR1i+O4LBxzzP8g2zRdd8dSumQICqusXKXpWh7tofjx7ZIMY2i458ulvhrP2SPz+YWwP454oGi4zhvbhntaX+sOr3N+aKAsg6MdMOAmFmup9k7ojEqC3zkKJxWzaKoWXi5VVzOqpmo5/tByGdEjUb2eX7rAopP5Beuo5S9PMV6AAFFw3Js4ODC65/QFxIo8rvi59QBBvtBP21cQql79tcEOfeouUipisqKxs/MNfXsXsYeOLoghbQu66XlyLscsO0ys/BM/2gMucLuDdIEuVHBZBYjK49eJE0ZDzzg8cji9ecMhfVkKrbxb78QOJwSC8TaVbUoMn80xFQWMIN1ib6bwspHAb62p0whIIheV+V2oiivgnUF6LwVFPeleIgw0qP57LFaxZM3+io5CBGN2/LRWkAgf8XHpWIVkRmugBM+/pcqltzZ3bN5BQ/t6s/w0gSBUC8=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1521676952

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

