%FILENAME%
coqide-8.16.0-2-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.16.0-2

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

%GROUPS%
coq

%CSIZE%
2129096

%ISIZE%
9354191

%MD5SUM%
2011c9d81360a835e54f6878f56e2ed9

%SHA256SUM%
ebe3e6acc7b47660b361b9041bcc944f327b8020af4760d0a68e7677cade8810

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMYehcACgkQdxk/FSvb5qa/lBAAj7CoaUoUV4/eLN6vFlTZ9KzXtkfZAFgOvq5OsBJBrMs9acExq6NdpCRZeJbOyurcZXxujI1MTI2SGqS1mHNbvHnq6TwkCDootgAH2ofl1owxyi40xPIIdmGFuZv61F8Z+lzfWebYWo5ynCQETxAuQbaEMYDIwtwrljXaxWs6rlFcdHEIUwenpuiFafuaTtcU/K0Trk5Mn9jnSE5j38tTcXgPV6G3Inx71yirbVf1+S9eySe0L2oVdvbwC+HXJtjFV94342AmfrIEeiz3VDinQGFXEJQNK5iLUHFAQI0HbboMOL7TZwCsixXTZpsXrnR0DHYnrVZ0IX6mhqebbJhnPgDmP9cyS5Tv82R6ute6dP0qyTrw2YasTJziDhK5RjzYJ2x/THhPEtaieV3Ut1/9hVbkjyVygBQzRp9Q3+ugR5HaCRqFcb52VkAMEDLSiitcOLVJ26NZshD7J6WHnnfit1EWaFywmW9uPHCfZTctyidBkz2M/VeVziJTu2pjuhDZsMxnDFroafdgASnU6w1ZYe/XfgT86puugWbiHeXUOshwq5no37euD14lEEVcWY/VNTtK40wnVGupysNMBKhthfG2rNToCWA28XYbw5VsI/fAdY/6qSzdVf5jE0KwU2dyx7923hDVfaejYziPF5q7XV2szIUdl6if6PN2c90Xpqo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1662545315

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

