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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.13.2-2

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

%GROUPS%
coq

%CSIZE%
2436008

%ISIZE%
13649441

%MD5SUM%
e65d556993b94b7ed97e4b94df4d90d5

%SHA256SUM%
88d5b24428d4f5010329a59d03869896be6664790fadbba8546306ba4e32ac16

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmEAwnAACgkQdxk/FSvb5qYLEBAAyYxC2imYII69nRT3O10udUSOer1yfukejYmX1OJ665+j/omvw+JospZ6Iq2N2oMVX090E3OKCRf1bBrpTryVzVNbmoMvbif2mvPzfbo7p/8jmgGLUUxoOVZ9V5oXmIIViT+vwICCE8VTRAlE512oShZ22cFSLI+pKgj8GgVpjWod6+1HNJE0M4yWNAS0+YZdiKtaEGxJ+iFD0Ozq4W1J2I82XLdDmYWptLDsW3kVFYEay3CXg8rGSl7SV4+9NQwomMaWZP38HPUu9bpVzHVTxAaFakl7LfzyThUPnHw0CCoCoNiG70/vdNGyOEoPXvQxHBQ2mHO1n+j9Krb7uh5f68s7sXa+MeY4KibTx1+xNsM8ZG7BFIUbemx3dkGfZB53RAol5RAas+MmmlFQUcDQflNYKx1t7TPT55heY2PphcHgqzeHHXK2HQp6QZo5Bl7lauXs9eVHyBIvUSNmXYkVm8kE+Ho1FemTtqMplHnaostJdamOrzKmH+udp5NR0HRBVd6Q2E+TQuknM5E9oBT/gc8LDg6X3j2JO/nTOWt08k8tBKqXdRcTOq7l2UVA/r65F6eoTYceGIWyce/s0vcPQVGmZTHh2iPMwPnz5TPLLST/xcgYja2J8wsPcls2PBsi2jsx1qxQUKw5owjqulylkWWDrc7YDmgGDN8x5XTD91o=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1627437863

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

