%FILENAME%
coqide-8.7.1-3-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.1-3

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

%GROUPS%
coq

%CSIZE%
1684496

%ISIZE%
7003136

%MD5SUM%
40b7979b34cbf8218ecda20312b26ce1

%SHA256SUM%
300adccdbc8f25767da5afa2dd315e81ad9ae87607695c3cf5db7ddb3022df74

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlp6ZawACgkQdxk/FSvb5qYgXxAAmPcG2iFhf0uooKnvUYKQh4VY0nSVDV3r6OY5ze2pO+88Kb4IHc3Z5gfCmtKU2PRWwH88tuS5mhc8mtpv+9AkccPQASnXaiMA4q2gLmXVk9jQZQVSjxghRA3eUJa/0WD/HUj+LJ2FcO5rKOcWzDxoQb09cu8chK8GWpIsS6RXTWQnf7gwLVyNbMOgLREjzT/v9IoOC1uYXq5wnQmWa7yFHHKeZZqsN9+T4KHRqiWRe/ArIih4LCoKDTqLc7CGwmCCbeDoybHNQJPyai/oDdvSr2s21RdNQLNXwIXcHLgnOziWbZjuLUl7mwd6vstoshHYbu/f5C2S+L/EV8e/oF2C7+jgHe2e1SET3HH5HFIfvalEhf5NpwD/lk4TEnxmsPaMTRDMxZN+tkBfPBWr/VXJZXZJRHYLxRf9MkxE2IW6XaEeKA1cOsibX4H8D2ALW0xfmsOsu1NCC4hatQpQBO0Bcf3cZh8450cgQIOk2+IpnW/1ybGKcn5FQbfG8oItJrtaRJYEnJuHmi0VRJMZrhQ4gi8GcMPZM3k0cdRu6XQvZNq69QWsbvhzM0jhXQYuI4AdgO4py9HzQ8dLnXXskBNN5bzSVaSh0CgeB8r9b2W2DxzDjsYYvWu5/hr+5THoI7mSSCvI6Fh1T/f1eAaAy1hO8odjZ1+i1tjgtgiugvlRZfg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1517970767

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

