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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.6.1-1

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

%GROUPS%
coq

%CSIZE%
1581376

%ISIZE%
10268672

%MD5SUM%
c052f3de3c7001c9726d6ff0a86662b7

%SHA256SUM%
f0bd2b3618ef1649e3cb92e9e3638ac8e44c7a886c36aef19a5c17f40c95aa15

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAll4VEMACgkQdxk/FSvb5qaoaQ//Q5SXYDsnKXWz8usO94iYc+lWRJ6cGox5sPcoQLtV/sXXky0BYR9iMbIkemns/mUBD/fjSCgg0uwygVsNU1sxbafMlVjMoAGIQJiXeM4corkhF4YvNL/gKjT2sB7JWBQIu30GdcCqEh/jgioisSGp16zGC81EV5Hjlg2FnHqkm2HlqeJwQZl9oJ6LndiOlLi99w1ofmGty1sLzswQPOTG+hHdhRzT9xvEpRBA4BHxDefmp79S/rVk5XgoDkF9Uhh9gd29mn9wn2icCNNAyys9rd6LM0L9LbHzljFEuElKXqKaAEnbopfu19J2Ef0F0J7ey7CS5G3bQ5oOnswm9lugJnFVO13+e/LQ3l4fv5+1FZmjuOsCJVn/jfZRVWmcvaNZFHS3q2/3SEGkcYsXNunJgU1N9z6OtyQ6SJ1CLFo/0NKY0fZePkvpGNPYguaj9f7oyy5zKoMNrHnnmOGL01OaglEOJT7bBdWKSUpWFeyT6vad3pAQafYjpmmLrRHz044i0RA+yA8eRs3CPbnwMl2Qu+2SKnb9XdSzfNN4HxQcdZp/1YD6II0miQ9yPn0yNQc84HzIaj5ffLYVWW8eEBqRrZdb61i5nszksj5hESduRXjXAvry99yPPhbx4OLFtY6Q1JFROd5PEanh8cb+vSRSyriQ7/g28nOsO40khN8UgXA=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1501058053

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

