%FILENAME%
agda-2.5.3-12-armv7h.pkg.tar.xz

%NAME%
agda

%VERSION%
2.5.3-12

%DESC%
A dependently typed functional programming language and proof assistant

%CSIZE%
9029188

%ISIZE%
66508800

%MD5SUM%
996386771fabf90f907379f10e4ec1f5

%SHA256SUM%
3f3fbb574d28ff52ce766e4fda240ac1da2cfb5afd6d471c48c56460c8e5dde4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlp/LLgACgkQdxk/FSvb5qb/lRAAs/69hntObqBeRaF3PAl7JPTj0mOD9Xt/pbdBlwVBqL17U8T6JhMZA0eA/nu7ZkbHg88TdSDrkgd12VbBTdHYu5blhtyRBrpd17SxprX/m/kYNSGEToAYmHIYIqhOVi6HPo+dJKfAka5FxbQq14s/xaQAC00U7q0HT1CtxqTHg5aawto8Yj9zZyxpLdp/9eejHQ9LNd9bhTfJh2R5Q0qZEI2edoSYSiFP72bUBUlFBPaut9fjtFhYwMW5qLX+KQht9ZS/Aq/e4Ns70p+WIm6ncFAVgkD5l1PRpnsu6EMWGunF69PzV0JgAEWvsP0Q8QWrgUPCVOhsQ5PhAIiMTPivZD+ku7vBe8lWF8a0JM9j03vZMUUqEgGEbo7Lq+IvldWUVvU9oXOD6yyC6pisWiwbR9LiWq5wpXsHr7wfAjEHqtSgvf79+NWuLXw2t8udokR4ywzm+lXV7oneaYTEBlgzcT/zsa+x/mlHHaOS1h/MLh/exoo9HFrE4l861RPXUrWZ7lZoqTwsEMwOTDeVCT7gY/4dlGshEjc/oqW+UDb3KNUDbvpLkNhfAHgs+qo9N9M3yJOpvdR+atAlMeW4gTHi6vIQDv97utEw15hUQBHL3WWE5Hpv8ZKZ6xH8RS1QuGWE+OIABquHRc7oCddnpnLwqED49sH8CEyQsMZs5Rve/J8=

%URL%
http://wiki.portal.chalmers.se/agda/

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1518283887

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

