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

%NAME%
haskell-tamarin-prover-utils

%VERSION%
1.2.3-1

%DESC%
Utility library for the tamarin prover

%CSIZE%
198220

%ISIZE%
1413120

%MD5SUM%
32d965d5456cf641b43aa691e7785395

%SHA256SUM%
84a8cf65b7965baea5be25d052912cf12a3ac709bc4ff62d91a4cc2f333519f8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqXtAUACgkQdxk/FSvb5qbwgRAArrs72i8S5W+EOOHWs5cUnzDcI8VmZOGIw/oLVBtIF2jz4EmuUziOnJ7astn1+C/yF8xRQGUfIHYtIPu8L6FYx93kX+lGEXB9VpjG4s8TCdjylbt6MxpzoKn3u76zXIHP9axHof0se15qazmgbaF3o2s6AvKV1SvraDukmfbSl0/g5QiZ4yp/bFw3TbyGErCoTy99GKwyAFUEsyc29JUCJGPb8c3JVMFKi3qFvFggMozU0mb0M3obcLYaaTkvNfwOU/Yo3gPCJDG7IzY40wp3dGna2sWaREmgfsDaf1XbPsOYMJQa3LlzYEcyJHIzRGV4jiEtLOeTPzzLBFEMjblmjZgaaeEel9xDphjILG/lzXt/huKzut9yqzP2jYw9F1Sb7XLsJPpuY4RzKqwh7KoRiBjKDFsc7bmKYgCfhS0dkpiLF5D7mSO3SzQckR9rA/Kz9R9B5MxPCD8voqCfcgN8xK10Uy59D8ewxL4neakcXCO+KCCzyZMffndFyqOiecKdcNcYudznt/E/J7hPkTJjtP9AQNszpUyfHBKpLF6/q/1bOQqNVsQNcEAQ56sZH1eDpt/iQgkHOJTi2XDNWjO3ZDc7SG3QWOdLSAt/FMskq8S729mkh4Z5+Q27FlWukR8OX4V7SKxRFs74wCedwAx1KYFvEOpM+YL6VSVai5f5NPg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1519891457

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

