%FILENAME%
haskell-tamarin-prover-utils-1.2.2-6-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-utils

%VERSION%
1.2.2-6

%DESC%
Utility library for the tamarin prover

%CSIZE%
188660

%ISIZE%
1343488

%MD5SUM%
371a85900f5c80014a651ae009dec577

%SHA256SUM%
05986ebd360c9e3b60352f0e64f63d1f4b98efcf9bb9b456c86d3251310f49e0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpHuF4ACgkQdxk/FSvb5qZnVQ/+LPkT0XVJsZSHBBZpfMVZlDtLUNMoKlSB2TeVPuLtDC1Au0IqLX5X7B2vZbE7mXfGGiv5TLQj1Jg8e23IofqWoXI6odfMrrpC2OHA5Y+YbIDhlOvpJzz96v2UHF/5I68G5QpN0x1d21z80FCkRXuGk4zEt2aUluSoDRjT/jBUqFCipmuGDVLhqRGFmHcduzwtGF1FYImm7+ixpQH2GPXN/Na9CUsgnLlzqWumOIl3uEqC4nNJOSCYnWJyTxZa063p3lrLO8TFssujACY0mgXpv+zcP3z4Mp/bPHmlziiOJblk2mVT5x3WmcJ6tMK2jTJgqe8pw9syw+UpS1z8IlufA29x1TqxD7zdGe8lpEN3CHNx1DiNBZTA3YsFF4ck30N9zl9DPu5wGOSieGg2DEOmncxyPWFWh2twCV5yTfXKLZrOmSnNwI4P8H97IFW+FqspgK2133EN8i3UDNAF2RLqx4ZrbhlA1vuD8aQFU04Y6Zr1uVvx3iXSYjUx3xOaegQKgottl/a8OjVcHhI5bJY0L2hnouCCVPOhzMkpx1yI+pJFBzIsb6w1spvlpelg1Bt9wdvZEATAb1H0I4Vdm1v/4QrV6TiJcQl3DLpO0aY9F4QBn4Vcr9BBF6aHfcN5wzjLiAJfE0MHv6aXGoVPCJZq7clinzcM0M4lMXs5EKSyTlo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1514649690

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

