%FILENAME%
haskell-tamarin-prover-theory-1.2.2-18-armv7h.pkg.tar.xz

%NAME%
haskell-tamarin-prover-theory

%VERSION%
1.2.2-18

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

%CSIZE%
1599528

%ISIZE%
14025728

%MD5SUM%
09b32a68d33f2dbc270c83ae1e734933

%SHA256SUM%
716791591a04c74bb8a46c4f2d48ac624c1091012deed061761eed4ceb284f77

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqD7LoACgkQdxk/FSvb5qbR4xAAkxGxjnXt9KhxuOShs6r3jjxzaatpSr/MKVWBplg6+ZEfCurRRDddtenMYHGSPiDxAiDKUU76USLTeXv5QXVW/LWuoUaDJUabke+aCIQp/qTapVxE0UiNunZr9LUhVr7NDlEx7TtmJKnON11jWf4w8bkFUCOvXDXijaEx3g165/xc7E2MI1L08H2F33xASuNWU93mzl4E4CjjFtqhbFsDdGzY1zqmphHRBmYbx0pqngjltx8Cn1nPzV2KRv3N0uwfi+3UP4XtXO0xkYFMyvB5F4MYCT5t27IlMEV4gvMyI/VAbNCqu8nYLh2eT/uF8J8z5b+vSpdbo3cmwlDn/59lCb3jVKgin/Pr+z7FvMxD3mXF1cpj8rUxwAeReBwPeqcjECG4CW+RGQuLpWfrT4/lI3gqAYNxgxrmDc77GbJdPcH0phxtOyPfxKJmCbBp70FY+cSZfP/t1hJlMvMcQDZr6w/4sFJh2XlSno7mS4GA98EGEU4lGfUvjo1WLEwkVxNgCA8NbFiQ9Qs1gi050SULlyg8ALxya3TnOaqGyDTlUjuV+9eeVrA41rj+Mc8Zrz/myZR5CsUDJcJIsLcS7lPHybZJcKm/QL1cXW3XRPlAfnynmuVY20ufsg3mNlzk7y1sIpXw4wTMy1S9JDBrHO4xXIK865DKzTRJzgXuTwHv6rA=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518595243

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

