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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.13.2-1

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

%GROUPS%
coq

%CSIZE%
2416028

%ISIZE%
13518182

%MD5SUM%
3ef1f57dea2b6d7082cc78cc7678e5fc

%SHA256SUM%
25eeeca7317513fb6edc7bb67e302963abe537e74857993c8fffdc76fd24d10c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmCxITQACgkQdxk/FSvb5qb9IQ/+N9KL0c9Ry6hps9d03m/zNw6fTa9CsQy9nvpy4XGu4CbOcqk8R/2QOE80DULJWccCWucwWyGGIKtbyziUubz8AZJrjk+YJnhtOE8hc+EC/pQbqnTA/qhGPl/nXKp/UaLCQideyuJwuFgbjKUQb6PZ1YY4B010QYW9IVYmw54iY5NQpi8lDcD90h59gSvdWkOWFPdXljMAf3yCkyKL0kJmDIIArgXXz4A2VNi8S89IuaBdMRb81OprdSGcLiwBlHQhzfhP1WjFWemzlcrw5L2sYrD1YUjs+RUNigdKTvs+MGK6+W59ciSiHejn+uVwFFpGt0LktcrFS1EELu5MmXHfjkApxxs10j6M6J+BTv9ksrWVOj5lGKBTpWSyOnfbHx6q+JGJOJxOjanf7Fe9BpYASLmaRUXhM35oyGthqxsv6GzPTB7TtCMXYxpXQQE30teu3yPyEvctEn1FXqJ1GbbbMAP6LaZButEHM2Dtjwxm2x2KPADQSG6Wgo3RChuMX0dVEOCKB5I+D8ysMP5IOY9KbV+CV4Vhp/rk2vYJLamJ62h3ziCGs0mptJnR+ix0pzLbXlTn9Bh7HHRMyq542BsGNlSaOBdkBCIJ7n506bZqQsqCc+noG7XuPDzQteX2rsg0j1N2qwraIVaIO5h+kxpQF4CMxxnDTNwgQ81HyTcanWI=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1622219269

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

