%FILENAME%
haskell-tamarin-prover-term-1.4.0-20-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.0-20

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
618856

%ISIZE%
4448256

%MD5SUM%
848cdcb389d0aac8671de567ac606765

%SHA256SUM%
9d7904bcdcb7fc6231b5964a844f2f6e0060a04029e3f7e0170c80f54a756776

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvAlcgACgkQdxk/FSvb5qYCbhAAvzOjPwXSCznHdbPo09ODtJc+slqLESLOQk93Ii5ReWlMNKFU+3Z6m/8iH7NqOSn/kctXtgqLUbRV4Hy8ok8njercm6X2B5w0ATwO6DGQEt10ghZO0KJCdQV3y+qEOLGr2I+kaG5Jg9rXYqfI99Gl7qJrF0eCciyfHn97QOUmoj05rVoiOfpds09ZFg1btX+BhJmATjIYoiBE5wr6beB3sxlisMhGyEof40DKczn29H6Nr7ukXzZMjiZS2tz+o1TZw9T07TgvNMIO0pN1/QiPRP+rMxw9+Me7E9cyqI1MuMP8IWGglGwzj41EgUbD9ZQW65CmKGdiZXRtjbSah+7hBKM6EMVjC/6w6ZhCCE65E+VDEkdjWv+CvuWx320cEf1rIAyYSRspN1XFDaTA+ORS8ZP4N4jSdN/zIl7qr1IQDM9MV/lr5RfrOHpoffxIwk0HHf76ZI8XsizAZf764y5Gb+fhU01/eHjFJz3WHo8/9zQqpDFmo97AdPCDquX1N0FvDXuw++3D8X+WvQscdxohQyfyL7CXjNmm6g5jFBY+LpJM01nJT9TxdkRetexk1hPaxneTfVLV4S5SKVOWcc0wMwCJXMsFjIRHw746Fgse2jK0yCac9vOr2nbqhK/ZVsrBaI3wgJMFZhiNj1idqG2RDJe9fLTBU1PfVCODfu7swVk=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1539347638

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

