%FILENAME%
haskell-tamarin-prover-term-1.2.3-8-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-term

%VERSION%
1.2.3-8

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
599228

%ISIZE%
4329472

%MD5SUM%
94a2c3c54ec4e07501bdc537398ab4de

%SHA256SUM%
a58edb30652598d47a5e76322ea5e9f5e5a3c28e210ad96423a563a5b7156f2f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqy6E0ACgkQdxk/FSvb5qZDTA//aR8US9w93QLBApSdJQy+FSAENG8mSDj6uFkcWBr3cSEEiJ6wKjxwgEctHrBPfIMX+VwFt5A/50TT+EBQiP35zPqVAXxwwxEGt6PPDrBUj6BQZdj47BIuENYErbDWhcYPbriKxhKcZD9YTzJg9ZHQ86I6GYAD80fvyqFBMwkOA8Za0yyiK4GUJf+7qBMMPSLk2KV1sCBPp7yoI2VYthzLTQ+Z6VDEQSYIOM9eDRuY3QPE2D2VmOuTlnH9q5HjAFFYhd2WrDoBuQquU7pX7LC45Gq9qcW+mrGbnZRevCG/vtsZGr4FqjrySgyawspKZ+so5ioUKjShi+rk5HFMXZKaoW0dL76PnlhveH5py3Yc9NZIWoXeGZ823zovZ5HvH5AZ52STK/mD6D13bH050Ovk6IzcqtDoroMxGb7lPNf3wttzSkv4xXjnDywpChSM6rGigAMee1W7xZed6HqmyImKFXGFjQXbXT/PZF10NWjVeLXuU0Ihfh9EfcarHbsEGrKs3aFBlzyAJ86bQjRZFVV0+y5UAD4khV98b/lh+kYZAL9p3G6ETjvSe2rD0FDK3CcTjNV4Dbga+B4cuwEm+ryi57Cv+cVbgAgnHU8HuNlEgXrkzUOFkTUPiudITZJlfWIJsusQEefy2ykRmIhOCremB3y/1sWCFfqmql55TklsNKQ=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1521674311

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

