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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-17

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

%CSIZE%
1703304

%ISIZE%
14656512

%MD5SUM%
1760d0a8157b1899d29fee278786c1e1

%SHA256SUM%
11ce1cd5a483cf19d9f9b0a94b5269ea14f3ed21800489331a5f928d0fe8b617

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsU/LoACgkQdxk/FSvb5qYr1xAAzO3kpcm13pi3huIaUK3f5oayTbNryiDmvMYDUaQpLZedKRphfBsNHrdDcl4cY7ZE9QZRb0dYt2VxUF3FWl75f13LIFjEYSceOIdQaWT0HPePgOFi37eG7TrPYa5pcsPW0NL2u9nVrTSbOWwUdM8VSNkiXVvdpq5zYJGRMDUWF5tTsgJ4PyfABwJlbVyFE0UfLaHIiYDluS7jUhDDZSpi6V2N/TB2NA897m32Vzx2xhiz/WoGbuXwFxsBzQ3L8KlRHiTjLaFLOgwwKhP1K5K24VOtCVSKwsi6lzswYGFydWIZQQR7xpfOvQ3vkQYRW62OXOOntTeyaLW3l3Kjhrh0d5WRqorwT4qGrOyl88d4ifE43/oq/C6WeoUnS2swmkmqLU6z18l4Sv/DXoFMOFIac8NbOvR2U3km0SsnOONSRLmCt1Bi0BGhXaJwi8iHMvZ6N/Y7r6vLq7kUZUloviFe8+qkfmEv/8DwnpouG59Ezw5kinEfOxcbvNR5SwzzXfK3La1+NymlURbMtPv6F+634CVBZaBq6Mj8E/Vbi+xCstO0FPOm0kzFh1OVtlZJnyOYBcD42qDQLRuz9XiA1VrP8QJqcsVvMPvdP7jvv9fCSW5efgBIrP/FGwoFuIXdNkdrRk8CMujVJHgEDsu9FBbmMERYmyhCGyfKrhYKbPW2vnE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1528100884

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

