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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.4.0-18

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
618680

%ISIZE%
4489216

%MD5SUM%
286726645deb8fd7d0786373c09d6ee9

%SHA256SUM%
13c3fbeca5a61cd7b57eab1b26c56a7b2e49f1eec3b1defce6e7f8634ab76179

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlueR1EACgkQdxk/FSvb5qaDqhAAtysOeLkYctyl2mFmJbWNm9mSooPaaDjnc3phznLVPN3oxEiglnT72oPVSVhnbLkBdgb2DaF/H/Mli12CT5yzcOCImUY0zmIscKJXQyDvrq+SZgF9E6yrCugSJl2B1e8y/Hbq3yRZRnLrZxFK9N7g/qC6Od3OM9XMcZYFwnvYiStADZ0vctUiKK3ZsCdfHA6/px/CA0VZk5KisN/r6MiVfi/0wM4Bf6eCp5RlD5mmOXBnzZBsLz/Nkwcbr1+oTUzi2HvXd6jQQY0SRiIt+J0Y6rVZa8vnN1v/uaXY1SRMnxy5CdPjvx0TZBLuAr3aBe9KIOAVExHpB0UnD8Kt8PibQZtAi8KuN13avBAi+TX14GNdjI8H5FBfKAjC46l15Kt9fb+5ybRFf76WuMrLI0tH16wpoXizEBqQRqAQfbmuonr6s2UWi4cSP1KDB0xSjacMEaojN9VQoiuAOVyk8s7lxuREipc4CTCa0Jhwm8EGK4vZVv+7hPlDTh9E6Z1h/b8o1bFh31yRR9wi3XmLDw+MC1OlAVNmznd9+omVr9TWqph4yq4yKswUQ14f9X5XyK81eydwGuQ7HwzhTnf+QjzLaQJrEGP+godcaWBjPlMHjzT4FZf0roQPdrSb3VV7Lv7pXt+K89Q/1q5DtEuwp6eyE7SzshZNwSyoi4WnMuaDARo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1537099324

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

