%FILENAME%
coqide-8.15.0-3-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.15.0-3

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

%GROUPS%
coq

%CSIZE%
2125508

%ISIZE%
9340132

%MD5SUM%
28e73e1cd0795c1eeca52fe44043d91f

%SHA256SUM%
9af9e3acb1552add0a1ef095156e8924cf2b8a2dbcd0f5e728cae4a35455da50

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLzFoEACgkQdxk/FSvb5qYc1g/+O609JoEJtqULQ9uhqEnArWBs8DHb689OzFzuW5h4MlgTpYc1FcWITsn5gtHul4E/HB0u2a9i0R85irQN/GrSQZ16L16+i9zJJl2I1Z9yLnzvvai2m/qQR9vv5RplK16TyJ1MUQnDJ4Df1V6JNtpAT66f5fHHzH51RLPtmIirYSrK4ZKtgCujisp8u495UU+7Ha7SafZM6iHw6fjpO6bPm506Eo/v7c0dUAJVHAO3iI4jpDtd7g8ofs30VvyCJ3lQaa2PfuzAGaAkJSbZ2vtYMYcA9WhJ9OFFgTZMcuLS2DovK+WYl8eSZ1fI+DyfbqpckY7oCd/FjPtmvIoRDjKc9vRqNb8+qR6g1wo5ahSNqL10DN15ENANz4kDm4FlFvEuclsAYQJ0TZ8c83nXcDGbAlbRobnoQ9wPjy9abRXY1bvxR99ykNK1Eifg03ZLhIWyHo+rkViZkxYQSzllRisaC7dXi6jFoTqrgMjnFWet3Wk0aP3eYAfS6wAz50nFCKRebo/vg4YEqij85CeQ/5FwRU0ZELysA3VRCmM9pAXcBmFNrad3vE6SDwnqMbK6wY6S9MqvFqd9P3ZffFwh/t0Mqhet22G4/hJ9qzwDacP5uXzNCgxNgWC60MeDuxmmnKFh0cexRIsIvr/uOPt7nqR15K+zxgZ6jyiSFKOUOm04EWA=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1660095114

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

