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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-39

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

%CSIZE%
1701304

%ISIZE%
14705664

%MD5SUM%
38486d8bd3b9b0ccb934a604c73b401c

%SHA256SUM%
6366c378aba055861257d2b5a307f3644b9e0e69a9b5b386164d079e749cf1b0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluuNq4ACgkQdxk/FSvb5qbHPg//UduScR1aBNS6pccst9t+LOnnqXU7Z63j/RDOnQDyksaOrh1V5tjrlRN0yycdRqk+eaAJ8USObo5QWh3t0swz2Nl8Vj5ew9P8a5Scz3PVOETGftmW3zE8CNnPyPaHZp+Fub8aUxC/iER7melWmyVMlYs9CUu8EpbJU+dQ5ZFGtLiaQ3Rrnzdbu9OsdR24CSzBdlQl2T7optPwNGMpkV0Ml9Eu/RJYeeQjI/xfWnblpojtwNRy7YP3b4SWNp/tP1bsa7FqXi0Tuuh7PdAq2X8bPRoYaGVphV+Smetkr6ftJamqE0apbZrohjbhbL2qD/UBiOseC2UzfsuqAp5fUmPiN8p7QLuvJSjVt2VG8cxHFyBdUi0BPWw4Osw2ojRzo36hyz2jdUew/L2L/egknPxxHyUPvE6AB5Qjvc7OsnK5cYqupvy5P342fWhoDdDgzf4AzIFAFT2HPrkooNp0ry7LarE2JEE7eI3j0PyRHnUGNOxNiMecAcA5W0eicw1bp667BzoG+fxRF3N6HNO6QarkaJCs0uo5NACgoAwECNTUK3quMLiV0ziDF4YEXVoqDmL8aDQfCDBhrlUbpSvj0HybEsAwMJEoheazggOnfN4I9TfevqtEfsX06pTxrfdd8vgKw0P9GXIcJvmI6MZ8m3cppo2rWwuzFU4vUenHY1MzbLg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1538142819

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

