%FILENAME%
haskell-tamarin-prover-utils-1.4.0-1-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-utils

%VERSION%
1.4.0-1

%DESC%
Utility library for the tamarin prover

%CSIZE%
200008

%ISIZE%
1419264

%MD5SUM%
4a3f6d10e2a5e0f0e21155c4935d5eb5

%SHA256SUM%
9fd01da4d39a57cdb082e11a01358b475de91b576a0dc3fdcbaccb7cccace087

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrw918ACgkQdxk/FSvb5qZ9VQ//RZCzOARsZp1L38IxW2bAMLIvlgfdfbqw110Q2E/hlInHRotRBZlPLC4vkeqxRMweccjnclsMHPDSIR6UYZo5EvXa5sI4GqYY04dTerEhjwR4z+iLqt+cF7uwPH4/qsBuhAZoPiBk49BYQ40FVEtQ5/UViLOCYDPXstBWZpWpmRtMNMp2hiDfzPYKf0m6N5cZHT2iJpHvChx9ewf41jcreHzLpmMZT7K2nau9mSaBaA77dorNItKiPL8MjpmrmAp8UGnmR040w6N3A+2T6qLM4aIw9QLR1Sb8hQHU0DQHq73XPFzbNqK97SgljniiivVtu+llUpq7b3jMb8Gc0idzOlarWzUWkvKqTB2E0jtr0eH6v5Afus9IZjS28LOuU25f8W8/02rBaPjFUw9kl83+OlyIRsaL0jXzwNPjLEol2Udijv2pTnQblLghRvs4bIv/VO2i2XJvJJlWq/nCnGLgd9j6fI2/snB/+Hi8VQXnXs1uJGUj7Ktf5orx0gku/4JLZVWcw/wkSP4lEz3GzkttUATV3LX1So1VoThzs6qrHYQUdhOShiN9ohBtaqI/BjSgLIPf9oJowPnu/T/pUMIhGJLnNvob4aqhWiYKd7oSSMJCk11x5S14Zs9Er91ZNmDr6FnHfjAQ4TlygUPwmo89AI62WdR9Xc5aDoIi8Qepgrg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1525741403

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

