%FILENAME%
coqide-8.8.1-3-armv7h.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%
1704960

%ISIZE%
7110656

%MD5SUM%
5cb31aeb3a07d5b80887bc30ba14132f

%SHA256SUM%
07386c7c10acce67ac31c54a1e73873b02160d4581994b2887bc586bedd76b67

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzK3EACgkQdxk/FSvb5qYytBAAon5pRHURBA6Jt+yWanvan4UkgbqnJCLB1jxbPU/By2inQDsdwWfjuNxeoIFnWH+2Rxyb7iYAPE7hLsG0SOxvp6+ueLXYvtoulCt7tb/dTZTi5hrtNdlC4zGbFP4/x7Fy7tcTaeARDr/WeUcqp/stQVDxwG6E9JJlV9FwgTW/Rk33e24FZXJhXA5z03ZwuqIWG3Ci3As5Uok0JMPo1ttEgId2180uwNgGtUaZMlzFdz6g7h/aEXCNYBeBJn2Wpzz5ScuYnlvEtV+ylYk9YVfgoFwIgE0ASZmtp6ftD8BarZcTlEKmY4WTaZX+Ds5/7MekafqVL35gVtf/7vVyQ438evmLt8Gp50F0T4mTekJwoMy1MnIZ30tfkqGs25C4E+RalES2qtk/y0OoibEzCLnoVZiaP0YJR7nrS/+25DNBOZVZRNhePK441Rir6AjVpiH4oXPWXVWt/kTjkEY8fMLJG+ln+sp8VNXVAYzMbLgvpfZWjNM/3iK/Hji7d7/z9GGRFNs13cYfpzv73u9dm546zVYk5RSmwDcoSg4DTGWD+dfD2MowC7JOJYwG/Y3W2YzoHNCOkBjE2iyx3xT291YimEOTWUJ9U2q2Y3tq1Lgdrhpp2NUBl0DfkLO7x7QWYs/Q9WSZHlFL+UzBRtNOHEGcXvILS1VmVPj/YjBFnvvswH4=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1534272436

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

