%FILENAME%
coqide-8.7.0-1-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.0-1

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

%GROUPS%
coq

%CSIZE%
1395552

%ISIZE%
6010880

%MD5SUM%
34f630ed7f5cd7cca30a62970322c049

%SHA256SUM%
a9a0b2faab6ea3ad2504cc7d96b4c0b2094fbe68b9dd003e02c984a924e4cddf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnr30ACgkQdxk/FSvb5qbxERAAmK1C5j1el+DGg2JeSAM9o8mno0gtZVaR68xjSDOGHNEOzLRihEIKYGp4n9JPO/9rMWiv/UzCwvjWU2JGY/CcLm5pUkX8UPfSC6Q0PDJumwYI1bsoWK9pjck/cXgNNtB0Nj+9bY+8r9ejyL8Azlu/k4nsRSSDWA3+gWEA1rLXWK2D8u832QMkMhDWr5y2FDFlTyvmxUo7Mk5oitBv1lEEUL2omWB+K7XA3diWyLgzKbY3MoiXnf/vZpNr734n6BZZp/rLUjTZcLsggH4uls9l/UQCcMW+Yw4eB3J5DYbwkqDOEbaP0qMCCTA4LJzLrobvr3J6SrfyCJuYXJ3aZ+wicTYMGbUgzwxSX7y/48vyycRZlk2ncbrbPyNw5GT71d5DN45kTas3eFoQsUgtog5A9wo0KcBrZKyRYZVHKhF3583y6lyEDCsSA+KHDiKYA2/lPdDk9JvTjoeXuAdTDI2+sWUONCvQkzRxgL+DH6EeiSS6Ofh5WVApjItVzeT1HZVwksipl4RYrRK1wdz4Yet8EHyqIJP5WPCDqKzxil9kRR1QgE8pTVONV1Qc+prWglet062oS7IwOpJs4ajWLIsRpJ8pBwGFd+DwUaNnbFaveITwZnhDvaTD4KXKF2nF8hpUXlqI3n/yTHxpYuAYjPenhoF6qk9U+tbDU+Go/6vZySs=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1508336444

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

