%FILENAME%
agda-2.5.4-7-armv7h.pkg.tar.xz

%NAME%
agda

%BASE%
agda

%VERSION%
2.5.4-7

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

%CSIZE%
9650088

%ISIZE%
70805504

%MD5SUM%
d7e4d111aa11f1ce444826f9cab95c58

%SHA256SUM%
7d2b0451639d19ad25f44b6d9e6d7b9af568cce2428b7877f91bac6f0891bc72

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsxBmYACgkQdxk/FSvb5qZd0A/6AqOfGj2yIEJxx/GpHNqPONNyJCG25Yqlux2KNyKYfq5Pv6egBBGyYQXkT56gdKGOIdRGhUpdqPDVWiEYm54w8vunOMVFLdDC0psocUx/9g40tDhE3Nj/kVtulAiu44TsLrP07evFSHHfJyW1hRHMciGKObyZpfvBDjUai8+KAN5YPKZnEeoGujX2UmIBRywutp0jZ77JsAUC1npvpN+eJ1Vg8vEVTLPWIUe5VUSZQKDJH7mxbMOAa/4UJEQN2QCa3XEq7GpmE7zhdCbX4AJIm9TdeDBq3bhMoHYyCtZ6S5KD+OoGyd73JTaE4Sr6qttine6/W5kaYHpvQzqyNBWmKqdSE8peLE+Us30hFEGqlOGJK8X8jzX9YRaMZnPzfxWJekwII4Q0v3feskvIXU7Lwb5qUALvL89gysHZEa4a3WweMebqfpdqgPO3XFpnfcskLx3DNuf6jjG7e3SV0ne/p6lBGa5huUS7FZJuBdqhWWALGmTB9cZPw/4/Mc3CqgJreqTgy2k054lKf9FcHqfsPrJzV2b7uPFxJ5IamfLDAwbFCQ/72trGyJ37Go+DVd8Q6i/nHsiyEOdsKABjDVmDhyv9Vt5wmSFgHrEvEda+ybQUjn7OtVg6DRx8sKr99a3ZF9e4fprGXVSnTIwKHxkEf/H5y9xUiO1zDgqD6BpOfho=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1529934110

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

