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

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.4.0-7

%DESC%
Utility library for the tamarin prover

%CSIZE%
213272

%ISIZE%
1495040

%MD5SUM%
b560507950efad9c93cf9345537b0879

%SHA256SUM%
cb0fa830264894ed39188e341aa590438d3ef86a362c18ae362255bdf4173a06

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvJbjQACgkQdxk/FSvb5qbPsA/7Bmlzk2B5pP2Y2rXl5p9fLwyDF8+hneSPaYyjtAM5R9jg/1vNSs4NeVPSHiF0XB/tNzAliBFvFmVu4TzuZV5/0/ICDUSIif8ly9lqQ/3k0qZJaj1epyKguADtbaE8mmaazkuaG8PaYvw86+A+8g5LRdvAVWBzmdc8BDff6I7kdr61Ql1qAmYQw9RPnFeOLh/npJaCe2MpV3pSkznAKIO9JsAYPLqJ74/saBGkIs8Y7Txz9AFpK3Gk/Z+m/tmE5lFb9dgQd6rd2P2nLDvFJHoFZtd6eWr2cV9mUjLP9jcSF7/73tNI6fW8fMO+se4gzVifdNvDhXMNFdPN/m0nvIuo1b5A5ap6B+CXFmaqvJdFIoeTnyrHZ/sXaiWVFycYOwPfYlS8+gvJzruqmVCfD+nM6mIRovA2lX9ggUnNjeFh86gbLRasTJo4Ns3eeyszqVTby/Y6EwBaiPEeRqSPHxzgfgws1LQl+opR0om8WrwKEhoZ/BiSBtU6LF9+72esZMomcJPjqA4B7QBnXZG+rgVynJnaNOBtlSW7cTl+b8AD050LOjEgN2VtVHpIbEN66EY5uz3J10/bcKMlOJAJVaMZKM02bAxK+9l7BoyysJpPuv92ovX8iCKjRpt4hPIHXPR/fnpoET9a22lfOhF+4CUybFfbVoFf1EJNJ/UH+wpGJp0=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1539927499

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

