%FILENAME%
coqide-8.8.1-3-armv6h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.1-3

%DESC%
GTK-based graphical interface for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
1670040

%ISIZE%
7847936

%MD5SUM%
2002d16d4c4182e02ac5048d40525f67

%SHA256SUM%
e7863fb3ddd8a4ab7a78312baf5f83b5987d0c64d60901a2ec41ec04e8eca992

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzNxMACgkQdxk/FSvb5qbgmRAAyepfx7tJpreedniB5opF6ze11lsYWGOptKLWNtckac1Y0rZwQ7JvHhRWi1jQ58vFjyZL7Udk3q/BaBrlzVQQ3HZWo3vfhBniovn7M26UXCYp45Wq6ZreL7XkYPLipoZstWh9gCKzGR3JZuZkrswt+lauEB+ch5khvYgKO04z5ziaMO/8EOmMXrA2I+QOL2bxu7+4rvk9smzanx3fMb+4lYltOWBha4v6oyaTWi6A6NuvNqNwRMs2T49qriV874s6vpeFTbxpjf96iuwAUAr5KjlFHVuduPlxYJRs4zi+TDQ9Sz1kUsaGNJJIcwzih3Lm/g97ixykWkHBWgKhnrJriP7k7rkzmV3/PNxkSv+JZ7V4lZm3Niw4jgJZCava+FllSWdYYgYsqNP7XQK+h2hl55Z4+JBWpQp9anwsEr7r3PNUzSA7B5ZUlm390opdtoJiK+94kQ/3VkuxFstQJnI0sdkmI/GnwbHTwXQxd5sE07ZdB2BmWMZiHoMWPXvnCsfu3OTSZvzAqC93geSnh6J3QCYRqdLTcTMxGJtg3HJoq8LaY6ei57+/+jU4YMjLiBiUgAdk4ODbL6CXWiq+393m+3DYpT//JWryiX+cHkjaL+dULR7hK6bfbs6iBOWho/R/gwt7lA0WzEj851r8wjW0jK2pzZlnwMZafUH7U+VUra0=

%URL%
https://coq.inria.fr/

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1534275502

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

