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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.0-1

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

%GROUPS%
coq

%CSIZE%
1688264

%ISIZE%
7031808

%MD5SUM%
3d2323ffa1fc9005ffb1389e76d91b98

%SHA256SUM%
402854407bf59bb19d1854faaeecce3daae7292e17cab4002cfb83479b972475

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrXcO4ACgkQdxk/FSvb5qY/hhAAgSueJoU8cAQTJ7Gew0ttfmmz3dbmkncVyxV+jL3BQPfpK/lQ/8Qdj632j49MO1PSpdyHm0YXxwUhgRaf6XBJS2aJj5SdbiAu/wCRXfps7lASRdcTSBO6cNkUtOBfkz92i0Rdb9zPeBwwxbaeDePOPh/tWn3IxP2RhnPeAugc/SfkqhpoVM5s56XSK/godZzT1PyH0Kuqjuid4fJZ4Ge880wOHBPCaYNvadncrGU2qd4U0WVvwjAiNzS+Xri26X3cfNF1JMcmkXdq2AMhQMhFEZ5sg3his9mN529LaqeBdVH3PNbPVqG92n+qUHswKWzffu1SDBlRv7hbhC/4jcbaa7+ErWbWHE3jN8OiU2MaE4WlAfsjbV8cgQr8Y4lE9bDTirtc2/cDhx9Fg8tmnUFnh5HMlaBr6UcWIifbg0my18g+9tNro64RuvWbt9pVYBXWMjWSDdkIXry4uo2IWwjLUasB3soQPR0cbNyXnxggpB/UY9TRG9aMXnGoimQlValuy3rTa7Fi/o2rkYGraY1mTqzlidgv9X0REPWo4B58TFOVxUwN+yhci/t/DfFv+7wWcsHobFbDYIvxEgEoCOhH/TYBp//mi0fbE+xejYiocaNwpoDEQ5lO4Z7uOKvbwe++gs3X/puc/fMItH5/gIfbFhgb6Ts9/cCra1Sw0goormI=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1524068463

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

