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

%NAME%
agda

%BASE%
agda

%VERSION%
2.5.4-9

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

%CSIZE%
9651364

%ISIZE%
70805504

%MD5SUM%
c44a9b0deb962896ef099e8fa304a9f5

%SHA256SUM%
012bbdfd041a9811fe52d12866e8e52a86f070a21f06f9a169afa458cfe3cf3d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltFsIIACgkQdxk/FSvb5qaB8A/+MzxHy1DNVCh4fNrJc86COJmYiHbQWE5eZhwsMo96H/9liK7wd8UW2Dv0ClRbLgEW2wRpRgmlQjFU1JhmMwkVrV5J/voXc+oTC5lfnmq28rs4eP+vvK0Ai6RpVWnILQqSfGpgIAFZON8+SbGhlTmCtcWyNq1tywKM4lBjs7MkCI6FLopEdSpnpIobFm+Y53AWJUxYEDWSUyvCydlKH6xYW/yt+bAwqctulrQleP9Jo6z0HpWlzEtRSTr3OviUEzyd/GviAJj52eNpVU9WOD7Iu2quNGvVLzVLX3ZA9lBt+vOlkjycV1H6NHoP7CSR61czX+tWiMtsiyYtMVyjoseNx7oF/MJ2enHQgrZklqEubQ9ZREgBfpo1NtBbQxBx9XBatPNvDHlA6u7snZUXNFhfSCGpJrPtJIlExeVzfRg2/m8LxDXguu55DKqAbEENPHLbt5TIhJ5+YpFKzr9YWkGIqYY1TSqLgimgG/Ly9GFiLWCcjCOW/58hBebyT6FE59Uvv9eo+yvFmfLb1wd7OwtwqPJ/+BXHA2rV7v5/BXaHggUKPWIXSj4VLF8kksQpj1MygvjqQOiSmnQ/6vmQQ5S7XtJ1MWDaZ5q3aN9s1yYlRz7mi1lKGQMc64JDBQjxYdU5TMOW7kNHii9zjktFiL3ngNQZv+l/O83KAefNERzuKCQ=

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

%LICENSE%
custom

%ARCH%
armv7h

%BUILDDATE%
1531288313

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

