%FILENAME%
coqide-8.16.1-1-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.16.1-1

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

%GROUPS%
coq

%CSIZE%
2131132

%ISIZE%
9361199

%MD5SUM%
de790cbd8d04d44ef1a407a4497c5935

%SHA256SUM%
c3640ff3e9dc19266912861dffaf9186ffa8b6f6073d32a76163a9e0286467f5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOPWb4ACgkQdxk/FSvb5qbGBg//XlVDUOpGR/A7isWIoqDopnXaEZqf9WiKud8fccLcWsg3xyN2MH2tM1ZXWLwfZjUOhZe7DGoWlw8gkOjZmySTv8FbyQpk+qWwjKSG0HtKvBodrEkPpucBLQU8cUeBefaEeuWlFPec0++Pp1vTFwKq7eNHVwYqiVipodLbLgD7j5+tLWN2cynsF2DnjN0U++EcerphfmgXyGH5LQCyfjE9jTY4dpDTSGChPP76hnepKuHOABzFVNibsp5T0ypDrGNJV0dpOHSJUkZ0I0XP8C37yZoRfjUnfszExtDyrZiUSBVfXFIWKFcG3AxFOtTSCSTRwnbnIDJtsfmhWyCJ4SQPIvST/gUZ3t9+uLqe0Ct8WbxRiEL8x7zAp6nxgjkyQjvX52KHjyqVcBtnkxmsvw5Ku5ujYpyAogji2zGzqAIFb/9L2Yq5LHW+0d40s5AM87SXP8YjzG2h57Tf3vSDAl3lZmWuhAVA6lB674W6FTzAt1r+6sZQXLKeTCCOKdSGGOw2pYDyt8eg0pC+IY1HUGnz49xf5vrLBoY8cyPFarEDsPSX/RFXVwrosAYUe5/WJWDepzw4wq1gtfOZyBz475N7+w64OyhEkuYBVBfSm4a45LkHxyEjaRP2xnfJ44zkvMTvRwRN7JHJuJSkNZrfWDGNgPqGBdshXPNGKEa8I2vu+hw=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1670335791

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

