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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.1-1

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

%GROUPS%
coq

%CSIZE%
1692404

%ISIZE%
7031808

%MD5SUM%
718061b99a7c868c5b25fd1f69b7f4c1

%SHA256SUM%
7c4b9a2be5a655df499f9d1b5cc2608d25534e5c4b4dbcd502eedcbc49d6fdcd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls2rHAACgkQdxk/FSvb5qYgDA//cMe/aTSmYXe8eXtPCK4rEhg7qfpVuu1WiC5j9czKM5FKr6EuP7luAdFgM8YiNbF3zjq0nmX8d2D2BR0QMGmds+lM6X/hHjwDexap+CtBdJjzx60N0PtK6MrN5MRAudix+hEW3BXRkMpSUXT4LYczxb6f3mOJZVhsJGKXe7ZT0eiVxfkT7mSD0CjnbEQmPwFLb2NrH8g7MrQZv/8cPUYZXcaafI8zXePFkigXxnXgrUUbVuItq+QS3YM9NuDPfUjlzMH+hf1uL+xA997TT9/zsPeAV+IxYuSZ53/jxf4tIhhB2IwMosjS/+UJItWm+1C1wygc5cSdkMslzCVSgN20UJGELx3EuHdPxrkrgoIzRhChAlq43hk2PJSAyYdsdTDCDT5VrzTx305mNsIwFL3Ay2GBpQ+a+YTp+1VC+Jv3Q+iU4VWdwHETBRLwn5OUcLWnSnoBCp3STMb4PKskYfZl6htVdSimA53U6XeY+6T9cTdFk6N/mvPVJrqDow6T5naGBH3M0YQyL9qLLAjKjfe/MxODub2nzZegyFy7BHmEQOUPtyeBKYsXhoLIjq0doF6TW8b+IALjHboGzcg+re0KzLJUIlt230im+pcLMoZsIQU+weQJ6TMi1VH69G5L21EvemC1Ex0ztk2ovmaL1CPIouChxNK+1Zn9PFqsHAtinUM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530307974

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

