%FILENAME%
coqide-8.8.1-3-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.1-3

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

%GROUPS%
coq

%CSIZE%
2107948

%ISIZE%
12066816

%MD5SUM%
b5bc352c2f16d20977182fcd8fb0cef5

%SHA256SUM%
e69c0f31d079be6097f29b02ace4383ce705f4d7fe1cabce0517d6bfacca69c9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzMDQACgkQdxk/FSvb5qYclA//XktU7cLVY3VheMFWhfjqc2ouGE5GPjoayntP+uc7NwNjcTlggqE44uwh3FDSO3yzfsSfijhHwBf/igO063DZ8alzEg9CE0rHvoCzUb6q/84xJOhIPgMOpxLDf9f51KnwJuv/00q+rSRGlKkU02lpQ0NosBhYKDIwf0Ox9tyGMtmrdU2FIaZzwr+RG2P0up/DsE4NGa2s0JOrLQXg1+q0DV/TJyUIFfXWaBC5E7K9C7vTxZjRg9rR7LmQis+J6/XO54dLNeiM5tymyqat/kDzYeVqNBVZQGqIh+cAZtmGihUuhXA4s4qk73Kwqm/p9UfcN/yqP79nRc82xgd4wjQ2alZb8QXMNLnszFR59XP2dTnULzdGznfplBy/neqncUXJ9YH2jfcoyvfGEdjmBYinuu+IV0+A1eg5mkzzQ9NU4tSPNgJdqBfPPmgFeZFC5xKdYdDD9nbDK/8+78bKiE8JYT4UbktU+wLVg3Pd2uTYuIJr/RbT587JFGGYxapFH2SPMYuymqsXom+9ZDzfPXmihwt87Vu/j/eh4L8VHmjz822DAM1sH5RtmHzv2IJ2NGVezPHVhyX5+gIeKX/isPFfMcwAWu156D1t/4tuTjKmd0ASUq/NOz7h3Ymfpz8E4pTg1VAgylVJdJ+dxjUfmPM1VcjEo+qebTJKVhZKjdhtaBc=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1534274518

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

