%FILENAME%
coqide-8.6-5-armv6h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.6-5

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

%GROUPS%
coq

%CSIZE%
1506768

%ISIZE%
7773184

%MD5SUM%
53499d9b07738e418dbd120b3760cafc

%SHA256SUM%
f81511b83b0e78239467938fc042239e63c835d56716bebe91cd8efe84cd212e

%PGPSIG%
iQIcBAABCAAGBQJYreuyAAoJEHcZPxUr2+amSWMP/31pL+MjuYGUQXQZxmDVUvzuZVZ+jGkhCU5Jh5i14lksqmoEyYg4HdrPhv+hue1uBP+N1gTC/xLuyCsmBC0Dgtk1H7Z9Z+LNd/FIGN2zABXGyNjFrg9FEF+1UHfKNyRGeKbcz4x8rRF4Auu47ydZVrkvGin1UJSzpRQSA5FLwsOf2SUGM4pOzyAZ/MzPJTmQIS6TjDS6Vft9Qp4foUCNn2DB9b6fK57wUK1S+jgjA/17c0Y/RQuwcnERmLYtGuN4FDoAt2LZnRtkjNClhGqaMMgmslWE73rBuS+o6nqODrdJ8g1p2BYriMUW15R4JCsFK456zeIEFR1sIwX9D/2wEDFDYv3XycMO/IWVdQqzqrpJ7GWH+XjDMT0qEu6NvzMgSpH/9JwmoQvHMmNAN2emYl6DwiRGBDTJ3SBV1pAdgZ7h9G+9OqHuQa5u74dqNk12xibOqHWwIdVdSWDQwCvO8kwB/9f7SICM1K0ohioNQVe5Hva41kt56HS4qbrlDYv3EuTtwPmvplDjm9tAE+ufxVtl2RqlePN/bpryg+Dt+3wyhYBy7Pt/7RQW4Bg5TsXZrXVzXRu/YAnpR2WMYfIcZimUgTJTShCxyu1sghNxzhyQxhpyRjIvkkv4dQmcK5gT7Wje8K4HADDOUerwtxfrwRI2QlzKd9JrouIA4MDb0a3g

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1487792974

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

