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

%NAME%
agda

%BASE%
agda

%VERSION%
2.5.4-10

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

%CSIZE%
9651412

%ISIZE%
70805504

%MD5SUM%
7d434e750c9c64f2cb1900a9a157204b

%SHA256SUM%
7d739c96d92c91eb5f1061923c91c9e7be54248c0760ccccb5e9e9f8133c75e3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltd9foACgkQdxk/FSvb5qZWOA//WR7sjWuLPf8lyFTy6aTvwLJqDY0UZB8PL4linvYt07uJFaSrB0NZIcOzaaCFHsNRCwbIhL7Tckro3OHtM2ckaIQLZP1wEitUaSCP3DQnVGSUrSauvmj0IaVvjYt7rGOofEShuody6YbTpkUbGG0mfp3KLFF8euGYIWiMZivxChJqF+Wp5AEMG7FEd2h6DfV1X+A1L9kzaVB/khjuU4MDEE3QYPLlc3fgvSEEjE3C86majCjAA9M3vb7RqOlkr5Vkoek1sQdo0JXZSU8rf1vmCKMn4STKeZFI18t+HfSDTXaG99nvSLoBljtayqjxMmnLkc/5FmlePdEVndGcrXYCsh+z1l8Zg7jIRSt4scB+aqvobYXT1gomDT7JmSRc3+iDvEO/d+Yb+qPCINdKyDLO/gL2C5Y5rcwUpi5yT+04ebasNFgXueQ8YdDzbDayTvRfns98ogR7I17UjlzYu9J4qXUv5RxfYqrAGtaWunaexA9SzTsz/GlUtWA1iUo5KWdiSXHa2w7vUSthjjxGx6WA5fKSa1GwUHA66m9LgQhaIAYiG2BXR+qh8UlbB0UCBxNk4/d3qHLt3NYNljh+0139eV7APUnfXqaqNi5HP7kbHmZpeaeiwgwB5Hxt0OZYJYttvSW7JbIhQHOY0JDfxtFYWgWOJt350RKyueeuQ5lFYg0=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1532879033

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

