%FILENAME%
haskell-tamarin-prover-utils-1.2.2-5-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-utils

%VERSION%
1.2.2-5

%DESC%
Utility library for the tamarin prover

%CSIZE%
188700

%ISIZE%
1343488

%MD5SUM%
a0787b1a969453e8309a714455474831

%SHA256SUM%
9802a29dee40e3344da6fcee471b30e528a86e2ef1ff72d5804c4c45ed26b348

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlojAjQACgkQdxk/FSvb5qangQ/+OXbf6JiAnWfbHBkRq1BZ0ObQO3J8LG0wa5obWkHu/mHdirGJzuu0nk0VqGTiJIDn/zNjpk93yFcteEbwXC7yNqTxvPUXEaGkhSdyPBdJtUhWr1XsubCGebuT7tnTyHz1gT/p5eNQdai4GkqC3W5C4BNPmJKqPpddG2eKjFDC6JrTTDnpSo25dUvbYM0WZep5fncthCbVfuG8dbrwbkYmdjxh8LfaZu4D0JSiSagUgfWVCEUbMz2eHFzXXQCe7Gcqavx5/x8gLSE/Rn/ncxgrm4SYDifOC3SeR7JX/SqvCVp1/TTQhOaXkfUpfVF4rgTXzn29hM9r4vbpztz/bXVuvOph77/wZZRGjkp7qA58sUEXUs0OH3CHfR5qql794N/wOXhcMNwXDlMVt4R8UhbBoz/NdTL0uySuoDdCR58UuwAh6QMKlC3Iqa0NS8kZHqr+B18mi43GkRlSy51pJER89ngyrWsnHanqJLiw/Nna+uwZhakQVnG9x9TkyC6AfAOlIvEuJh4tvk5uHLvlj+m9aDQh/3PewVIqYaoWOxv0UHz+2ZfEQdnpaJ0czhddIOEKCbcRjLVCcVtG55tbqjlqlsfquNw7UK3bO246h0Ow80uWsEhYkz/2HNX1zjgsLA5tR47oho1vntTovW6ayd6xaOuOCi7kkhSF6i2vrPL9irg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1512243757

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

