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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.6-5

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

%GROUPS%
coq

%CSIZE%
1535680

%ISIZE%
9928704

%MD5SUM%
642a2b775ac7ba3c5f951e2b00667ada

%SHA256SUM%
96d7d8f9ea86d17acf5753cddcc241c97122c63d2bfe523290e4a0fdf23a3aa3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAliuA48ACgkQdxk/FSvb5qZDxxAAw5qc+IR/xBQWkVE5GCBLFEslxkWo+Ef3Gu3lezPEdzMuSNleU7+7MgX+BQakFUaIJCMH7+jN49YHdI1TK8MAGPdf0FCkuI28SSasL13eWBIb3BEYZAMH8JRt+N+WqO/nFZ+wZeAJ34qrykdg6vvgxcVz4oYO6rtvVFhBpAAwsFlP0M5UCguhCoJgD146yL8Ga8hO9xdDLMAv6DKXfgk3bTiIU1WNxsG+FBo2uu2SMIQY3eG1mq0R2eLlmbJpMHPlpHkKu3EDP6pd/ZUJ7nKqKQOlkk4XKYqiCTlHWGLEx6DVSF+RgV2iG2oT1DjgWxpciOBF5Ze+S6BtbLpXKxg54fNAAfsFye9y2xGd8xdnEHab4D9eHMWLH1xRs6zYzz/cTuA0S2l0f3EDUIvlG/AI4PxNWsjFWpJVAC1hKzdKebNqoatW4XcpY+lT5zndXc2T1XGfAYwntbtoE7h29PCUGHVDCWh4+OH+LJrYMA/ggQrUDXgXThDeXffpjDrful1cKhLd8wCShDo88IN+lU3uBUolcGEFUcb0IylEuipYVQlwqbAqElWU/KxHrg48pDiBbNT9PM9TfYsfESA5TsX4d71sgDJftnCo/255bhcAJu5sZKzt5XE1fYlqtObl1Vdv9DuURX05sOfbnbtePohtC9AYPTZy87iZxKOSbhrIbgQ=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1487799130

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

