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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.1-2

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

%GROUPS%
coq

%CSIZE%
1678664

%ISIZE%
7515136

%MD5SUM%
f93b6e965ca192c02afbd7da0558c202

%SHA256SUM%
0ebf8f3b0cd4bc8a7af68b9f6e5fabf8eb1050f1cb006ce2b56a2efde5021205

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls98QMACgkQdxk/FSvb5qaUvg/7BTp00/UHYCdkZIZ9NC1dMynaEVQ4Rv6zGl0aVRdlIhfyJx5StN1ZIDNdB+qV6qWG8AxtMQCT0KCcxAZq1Sf3ImwIpJs8h2VeJuHn6LuRQyEk+2hdPmH7lqsTMi+Mqw9d2JIDGw2t5sUVrSh+i+SoXLd/POqTjPsMkVX+8HreJjmUhIaIWqSzLkrywb1DToUO/nM0AaXMPXTmQ/ykktLL7svdo8yCmaliovgqKpMg0shLQ/F0t0h0WALsD/S9CiifHa0hhvujIZWna83hF5zLDgRkWSnza5cIlS+BF9HUz/g9m+zUAyTJjoakVQm3PYEdNrkRQbuCRtHjs4V+GHeTpZhGkSG4X71b4l3p01hqlNl2aXZ3Mo8o6X4IIGVkilBTMDWp7z93dZ15g2vb1tWwJjHOogWwU+KyQatGdAMpIHD7PYJ0/AzVAzIoHruZQikj4ZfsVO32NE4Mgm0SJqHeboGyaxsjSNSW3whWekEKcJR0GeRE8rHyaXdmlUdO4LvPlCCbiIlmxFYh20/5Tq9p9rraUsNk97FAhV+chtTJARorGIZib5g697kH8s6nhw4lvf360jZkh3aGp/k5uERfUj3igLrx7oEX2CyrvgH2yoHbXEAF1lXWOmkemORvk2olCNZ8o+l3QxIT7lbvInVqhpA2tqeCLFAP3tkOT/Pk81k=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1530784055

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

