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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-22

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

%CSIZE%
1703332

%ISIZE%
14656512

%MD5SUM%
34f12565728042457da27aeee63769fd

%SHA256SUM%
73cde80007891842fd89a76813f3ed9d54ecd9958912dea544ea7779691819ec

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls6HAsACgkQdxk/FSvb5qaHbg/+LVWQKzpYeLmUy+JGuIOEU1TcDhiyO289NtFL0xInnh7zYYbmMiny+4noV7sGyHp3+eKDIuytpoasl+ziULPeOkme9YkA8trYBsaG0G0fBvKbwnPtnxEis1+ZwfQ6ed+8NajR1+g7Ja7rKcYV8pAR0MGaTfof40WWkYilm04AJS8zoz6voENcgnJvaiQEW+grCr30r2VZ/wzBhhByXZF8buAvgIo6t0n04fnQ/hNZq2vwGW17vqoKvnwgw8S6LX1wW57yzAEwYGZrXJZgheqd2oCQxXUdOZGy6wg8e2iVLAvUHo0ZfXxLqd10ZlnEoP1Ge7imIglmsPsVpTtTy4QY0FMhAHdJDHzY8Q3MRGPIPahNkzJhcxxFMYgtfEdBpgMOWaX63WzDUjVv+4ckQjrgsnHd5dBLYFBlY50d1695mYWD3e4GrY9An5SFWESs0rItYSShONNVzmntOgmleQKC6vAIX4cVeqkeeH1v4HV3Bq0kTrTZu2RZhyI9HS2HkGOcyXKcT3/T8tCpQ6Ofu1QbrOoBuEIAKJN9Le462pJO669KdCZ3hnvvbfW4vTXm7q52xDD66h9IWYbyafiQJ2EZhKDqXnbcaf8Ipzt36G/9F3Saq40XsU41zc+nBFobmHFd7MNdNX6abweHtjfDn1hamnb1dgk6yASbMQ0QLQkcLpY=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530533821

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

