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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.4.0-5

%DESC%
Utility library for the tamarin prover

%CSIZE%
204780

%ISIZE%
1410048

%MD5SUM%
722d1b91798dcc47f4c30b77223e6628

%SHA256SUM%
f206e9a8f2110d8382b2d4299a5fc0523a51b2f60f6716b12c7f9c96f50b7dc7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsUyzsACgkQdxk/FSvb5qbR0RAAleDNukglF9z0faN58elM8zP2ngFS2WhkRaLrdaQeShVTqXweeps2kbVjie9zNO4qNfxarbq6hkmfKp/TMzBaqgWn0O9qFb1CabWKrp14eU9S+XsbKORMtgnICCqFcQpuhzgcEOiZ5vWdWldD5nGNAR7b5fPxqBvQ2LFY2/VJpmvvER6ZHIG9cs2+Nchqk4B6f3A3H6erpQyYdvyJYDumfbGke8hoJLgyJuHJLG49Z60jyFcF71xWNs3yz3yUBmObhpcEGqTwtC8dXlE/ljhMmArKs4IB99XtKCfGLuONx6O1usmeXti+4PvxhnG/j2LxIQGpMLzJyWgpZFzB6C7HBTE0z8QF1xuRVZvcmNrVn7bk2ype4aPMJWsmnqIDvJZ2FWPuv22szFFjlkjCCamyBsNN6NfF6VnHHl1+Tiv8if6cJbe0pZIsKejDh7UBMo6uNjlgWWuDpOZ7d/HnHkg/+nLSVdSvuJnDydPYmKSP3h6DUpphgEXaN343rGi3n7fUYjkcE83bMR7rynlyWYrkiC+lG2PBERpGwBcHoH70uQL0VVf6HxFuunan6tOilIPv2mAI4CfGiB5+P0apdEXKXU1u8PJRpM4mFMrpj528mgWISAIlkCnanKPu4ZCAmzR2APJAMt7C3mxhJmS8e9PTk6IHNJLaWrec+m3xR14rnL4=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1528089303

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

