%FILENAME%
coqide-8.7.2-1-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.2-1

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

%GROUPS%
coq

%CSIZE%
2069696

%ISIZE%
11778048

%MD5SUM%
3f19783b760e91eda761620f9b9b9053

%SHA256SUM%
dbdeff634d3174c8c2edbbbe34c026c0076e6f66f4e87e2fbbd22845c9326c67

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG9HgACgkQdxk/FSvb5qZZNQ//cAUfELTVGZcHd4maSBu1mRV6JXS/4P/1Xhlm00p23sDr4xtgeK5Ye78kmHJrBfxUO70nce9d7ShoUKMymoMibb+zskU1bPKXluuQXanEJ/BBjkRDG3rjtEggMg0vhd7SgT1PHmWXwqN5nnPHy63fxhHnS35yhWD8L0ufZ/vFpajEDzKUFNeCda76Ol1A10Kmqx/LVNZXEvhL6H1ZR6WQ8geuyWSS1O6EdouLgtCEJwhfMlmolcYwzRijva6YDld91m+lyMQDIaIX0G7GHd9trQB8PnjDUKKF5shn0EtimPMV0xf1Q6uSgj3VYPNQ62A5Q1PwhscrAHshDoSeA7pZ5Kz9ApDFb6VIoHixKgCoFtuqqMW2pSO8993OWHSwn9rAVeyRdTWuP5Cpvqi7xI0duJU7QQ2EhSHWgeFHxe1s4u4sIKq3o75f10ITVvMJ2v3Yd/yU/orTdYPhQARun06fUVQFFfEf8d6s7tAjCuvg6coQ1KGPRHLiTYci62yBJjFns3MSKdKZ4hpP3xO/wPzOu5xMbEotUa4LkRwA7gFGCcgEPvYFFTiSkWeJ4pAjBTWg4u/E9MOVyvSZiImr6dm8cdb5zHD7OfXNusalWjBpfeeF4YlnVrXL1Tf+REM4qCLVu9fCuM53KLwN3CTPUEXclg7v8MiGTl2PWedVefXMQjY=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1518793785

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

