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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.18.0-1

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

%GROUPS%
coq

%CSIZE%
2961612

%ISIZE%
14928980

%MD5SUM%
f56d08f43f3dce7721abd6572e598dfb

%SHA256SUM%
c18b46f9a79fa35190ea3cadf658c5c6c6693b71c59d37e5d7689c22505dc779

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmV5EL4ACgkQdxk/FSvb5qbuJA//b0EIuq5ldFPH2FX1X0zSAA2uP8PYqeHaMEflaPG7kbA7nLVcPvqoAev55rd88lvP704x5+Hjmy9gaauzJ04524Ka3ojTySjPD6Yp3qg6nSxPLCwpDgPdZj5EtmCrjPlOrN8is0AkgBzvqOPVqiTsQ6SELY+InTfzfYhVdimUf0Xgxi8ela+RAEsMi8AClKVYUdJeXfbykQs+AZcxgx1y4t/QZ2q3dAggNkEcE6ID54yLpvFxekuvVeYmNBoJ1SipLJo/SqhUaubQYhccAIZKzxABw9K7sZ6oRKeCd/rLpiNL/q/PEqNO9dMpmWia9ak+E9aX5QdxQ9rCwDkpvj+SZOcEcC3WIqR5FsPzrxeQassQ8s8FhxpcITKh8sHvLAr+nC/36TAxX73BM62OmyWqzqRyby7MoVc8CH3WPa8UD48TW++Ik4y1woqp6mLTJsO5DgBPWmv+MTuII/ABQVV6/wYhw2ZjiT0fFggv9KZreBYscpLLkqKlwPvAzS1vdTLWZswdqbTdXo7rpzslp/4UONz6u6oOm67ttlnixbumR+yr4mT+7P1B/P4oXhG9ZvexhNC45VyvK3GVfWlLj7N94fzGI3Sb6IE4aLydMmL7EpJt+DiLbL47CsbkDrxjasBKJlBD0vzSRc1+YLCCOGq15moa1+JczGAwvfOe3MnTAOY=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1702431166

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

