%FILENAME%
haskell-tamarin-prover-theory-1.4.0-30-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-30

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
1701652

%ISIZE%
14644224

%MD5SUM%
34345b715df941f7155a58e916bc61ff

%SHA256SUM%
a1f7c84be0e81137fa2568f3855c59ea0fb0c50236311d9d62f6a8dc3e4146ae

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltd9OYACgkQdxk/FSvb5qaYog/9FoT33QKi2jgWOU7dXERPVDjsY2vddXUoixwEn99wdr4GzDv3kKt3qNyilywmLmLJ2OueUTx8dfi2HnWv4r5H2Gy1Nl7TW3lShZsVchNDuww0i3yWkmrikhLeNYah6/P6ojN0Jjnp/DbDUzUSM7MKXrdIxDtPrN9eVIt9D8iotvOFaCyTrZnlwnyC8K5Sv+oXxDnLqK2+r4ugT6kfW1iwqfEpWNOIDGmbohO5herDFYz8JGoc4TnWte3hqVXfqTHJkqxJr17ZjsXsBjKD+9SPDRfBAYzh0SahhjqZBeATb3chdMPAlJfuceemgxCkOsBlhFHerLRtyfjHRb6ZwKgU+qHcBumO7QPImTF8O3f1MaZds3WJCKxCT5Fs++x8iEEBuUj8jd/ljYwSKLiZ0q0hpPKPasZthXJ646p51X42g8ed5crMbzrG4FGhljh6SDLrbnjqLJECA/EC66GgO3vjuhTGnvumOqjhZXeSRnKb8tD/gmBF/XDLoXO+ICKC4kYdSYnrxpgcVWW5cWeNqn0xsnvWVP8pNa6V6cTZekEU60bIO/RcFhEr8mVRXXd1djs4VSuXxa4QAaRfzlOb5FxIyoeQMfrBaFID6GAORf/E3tfH8RImWshE1/o+tmleOIkwdAdUNeF84OR/R1jCFTgv8IyNrv7ApnCEg2dcJKVq8y8=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1532883096

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

