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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-44

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

%CSIZE%
1703348

%ISIZE%
14467072

%MD5SUM%
2312e755ccc4fb2c8865394c24b66689

%SHA256SUM%
b7bf3ba59ab398b2ddafc0593e6584e23e5f820c67e3683e761548cda385d44c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvaa2oACgkQdxk/FSvb5qYnRQ/+NsNVNBFw0R3xSov/m+LlAKy2UwvUXkRAL1ZiMTcf5SPx6bisslBaQWDV9Ly0oYsgoamuRIjY4NiOkJZGdpO6MO+hzEgwWcfbj6Wy9dIaIIIuGFx3qSWjs2yQcHm27fUtPIHYc/EGsOjCo278688fqVE+mGB/9Y13akvxHksRvdoRZbO4VB0vjTZrUrgwptxYr4apl+03JHNLof5fLu/XZjau2l42nfPeAeliL2K1lGP1fw8ej/jumznxTUu5fCunp0YBCQSvcUWHveeVwubXEpk00YdftMrSr7b4LZgfke/zp9QJxuW2UQJmMqy8Cub2Ain7IHSmZRa4Mob2595tOVqLbcMN4Bl8QDa4eMZT36pJY0ZZZrl7B3F2t4lr8MYNYevXdNXtLKoP+xX4Yu3QAqw56xuYYed8SjLHjKfi0ZD2HZdC6ikm+PF8BilaBG9O30NGv2lGe9hIH0IWgT9GIqgwOKi1+MlqJ4Kw6FtFaw1NxHlr9nK0TETi6qxavyQFYD8Y5Z0VmW+cLNDwoe+/sQLn8lhyTIVkNd2eHs9x98z7uScW5JSy5E6WtSI/+gV12Fn1ObD6Rz0R6UFI708xM4jjM4FrZpFJ4yDcH3d7kjlWq6Keu5W6FOOlnIkLnDs46aaX0i0IuNp9sL0Rsu4AcSY4jnCsLk9jq2dlSgKweO8=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1541039873

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

