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

%NAME%
agda

%BASE%
agda

%VERSION%
2.5.4-2

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

%CSIZE%
9648952

%ISIZE%
70805504

%MD5SUM%
6227ca77631f7a320976d2a46f2b869f

%SHA256SUM%
168eaeb8fd2119f847c348e21accfd8106027cceb68d0dd41996e97f66ae59aa

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsU75kACgkQdxk/FSvb5qZBHQ//YHEq9HFZe67i3B0ZOCnqs8lgBLl+7rmKECADtQWXU7m1CTzlVk94ct26bdvy93Qnd4mrAHablpPytSNzzNu6MpveHOZe/7P91/iOJWPT6uDDlt4NwGOWJdO/zfobQVibSiZkfawSXc2dCqyXjxZc8WPI+iLcgWq2B0qpUCuhdh2IKN5Ti4oQuoDqn3189OfK5I8AhRIsL2V85YA+SiFhiMfnXU2CKJZKJL9rUbONNjs2uVlBEXOIrWKhNEEbRoddb5ntNajW5jh348hwNSyGKCZtMpXsPmHtQP75PXNbvDZm34wIWE8xwx7LqkKn5Uzs5MFLaicN2Ivd8QuYhPwwZwdy00vqtbT3ejBglGyCB8FW6IZO1e6ynm7oh3GxirFQAUvbKa5r3AicYWl39BBJ/z475FFRldkpUSvAAiqJRrFRIr1WhLysbBTdaGLReUCi3z1pp1myKOue7vQNAan79/gITaKUubHQ3LAkfBlPU81TaFE1fPZh8C7GC6IIf7zM+KSrcFRMRSzHGtqNkS1us1seXS1i094DL59BT3IbM8cH4+87BzmkT43e87MFwdQtvP0ZykhBhsFYvqrleaEpg0ibXqmOys5RGihvH0xd92k7PxEVlIy81yVGIEFHJ/nMARMttu7SVUgiCtpL0pvP9fUN54qACvGd8WdwCkoRx88=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1528092828

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

