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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-32

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

%CSIZE%
1700772

%ISIZE%
14644224

%MD5SUM%
f600400df0f7f4591472b48a92ed77bf

%SHA256SUM%
e5b061ea9029de00bc7c5f111b6c66c629eb707655e590e348433a488283c8a0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluDGIcACgkQdxk/FSvb5qaTfA//Tc8Ne/fIAHq67E+WyQx0jTmjPGgHBeULabXC+pzWlAg44MRBW9BS3dl+as0UDChku3s5j6oVemqr9sJrT5wYDJg+PB2aPuAB6t7PWIgXH5GupEZe8HLdcSzePtacRC/g0lkQvwlrGwkpLiW2EwWIIGpdjFjrG5+w6m+mo7g6uFC+mUEjFZvSJDoq2j39g8uwnN0e92yg3vCxJmP31Yw33aJhKu05chOJINZ8JsR/C/AWkIkETEic+d7kI1sVgJA87b/2pSq+84c2Zjqc6uU3WsNrNmfVZZNxXxw9uopwbKl1UyErq41LXI4NNcChYpKSei3YynPPRl55DjLEeDG0WtjCjkpPyvLMfE6gNjQqrHm3+e4EaklQRWRS4PZmvIY50dn2ZkBTCKTEKuUBFqV66KoX+iV/DfVYJjfjuQo1HdlqwojdieTWFyY/ZTkkntc6xpf9tv/F2MCsmEnJpNyBhZplLei57qiCz9z/NNJqHXYENoioskRWgtUnKziv+R+LNnHmgkCfBbd7oGnSTaW8cGPZQlmreqHj3W4dOjmPlsxI6dXuKfgOedfXGRukHXuL5YdChFsqwlU9gaNl8MEPj8DpOwE80syc71AK2OQqqDBO1SzGF1gjXWsPvt2MN6zSgwAiZaOlw/91fuFX/RaqRKnAZxnKUyHcwwIj5qaeteo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1535317052

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

