%FILENAME%
coqide-8.13.2-1-armv7h.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%
1963648

%ISIZE%
8299796

%MD5SUM%
e605c2d72d8c20c32df00a3ee69dbfa3

%SHA256SUM%
ef9355950b82fed9dd05bae5587c50c0ff87417a4e945d3f654e5646b6985fe9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmCxJLYACgkQdxk/FSvb5qZnVRAAkVPdtAbpTNdj2Q6a7dUUIc8Gw3sgimVQ0YxwjbitLuXdtdsrj0dwIk/6ikFMTsiGKVgF9RbX+FEjtgrd4p5p15Jdpk8PMGS6v38L6+R7PhS3r6TRTT8qcExdqF6PDHBJ+A19fbiOSRr+PyD/iiUGc40tgRJ45q5cfOiNuIaGXX0hpoV/ZxJOAYBdmC32e8n6+dLSRoHpE4La91MorrYPK93gKD7iKRKKKa1iBu+0paq2ZVc5Mx8eliFCKjic/TXwfpS3L+TTLp4S+eFEpRLFxQzIW0uScqkDvRTHv/GbdmgCUMQRWIOl81GCybFEc63AW7se42bC1AzPtSP7gTq2TTwraG6L3tHkJIv6zhDsoEdey30K+o1fRyNkXzNB9z6ZF/AIAhMcdolVcz5gYmsYTWj8HbNR4lo+6R1CYEuEYoWtFfdeRa7y1npRmKOuYmRha7xTTBZEriFPeX8004kWuhiSQJu8wXi6EO0nPZj8FSFz16iOcvn4l8gYMcaPY2eyveRJV/0Hspo6HpKKiZhR4TXrlMuXwwiWph2sU+25W0jyCBkeoVy1dpeoZecJNXigehUHSEtzcJTTZ5QbGfA/2w8ldpd6ArgMnY6gaDB1BykWHiBijYdJQOQe/M4Oao6orfwn5+uJ8kI4O5lYMUpgwFmW4T1h1jmBEa7SgKbkKew=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1622219265

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

