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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.4.0-41

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

%CSIZE%
1701056

%ISIZE%
14664704

%MD5SUM%
141ce2f8705ea2a49094a6d50a6d2dec

%SHA256SUM%
b7aa01abfb18c35fe3aebfb581ca7cc3c49a3779310410456e8da44b4f5e7162

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvAr/sACgkQdxk/FSvb5qb2BA//cG/9gMEijnT3xbtDdaUOylkGbfwBrvorS/gSCfZKb5c7CU2FEZkjxO8OOzeFTJegQluMOblurL2JEeqEjwqAHNLzH9/2ndNzhI06zFNfa3Atb0TvOsPiNTH4Ri44NqQUx1d5jUjxeg83u10V72WqNJWXdxHJlPONTBy+oyWKDjV+yoyDf2ci0gXzvfHOhqyzHPIDGLxV8+zTrT1Y/qtJ/3HnWNDJwpCUtOVYUeEF/lB+JEa36uuMso0WWJmClbvsZx8bh+jKc7mXRxnkYGWADMPbHU+o0G7SyIrotQwbTR8M/St2BPXvVVCqZM/WHbxDwm/9ZHjAIgP8OBl+p3TFZhn7IgtjDX6F/4x6c/k8k9YBrXEqX0IkippkoQF2hk16vA9z6NbrYfkQsKdmyXvDqN8r1D7qYhefzhlIfSuGAYupjclxU6lDBB77Br2TZQNaRli+cenU2COMg3vRkittabn2+8fnmhlXroY7vFjLLwYc+SgBjEtZwcIrFSco3qnUrjxxzJDgs6VaL7T74bAbAC+/rFPCtTQ9tQ35pprckTc4DXzRLIs+blPEOJpHqA6ksqnODGEyPwoyFGiihPWiX4Zv9Bz7/I3NepneFHY2+VNUznkNE3j+QUcKBJtRf78lTd0+VJeMB/YQJaV+w62oCG7I5Dl89IyADOTiw7J4abQ=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1539353516

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

