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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.15.0-1

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

%GROUPS%
coq

%CSIZE%
2098540

%ISIZE%
9161614

%MD5SUM%
bdb7d67b8823710b446a3445cc5d2b3d

%SHA256SUM%
37db49c99abd0fb3d4e0e03f58c47ec975764199928d7ded1fb10176b471e67c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqiCYACgkQdxk/FSvb5qawKQ/+Pw2asjaObBN7zX+Ee7qWJHhUXHwOss4t+2JJPoTY1+3aWkTUdPpyDyzWsydH83fY8/rDGe67V+DFLganx447+RPceYAYSJSqNgDAFjvbV7zyBE8J4zWxiWSw/qE+9ocZ8RIqXtpKk9kzLc3mxIG7kAZHFvp/PtfVdnCQuyMxtI27HEHr8yJrRb5bd4XbtPTQIYPOsj8z6MaZiwbBaXRT5Dw9hTjvhkp8rBc5JynTuoSYB97v5hfH697q9XP8kbmIlGnARh2HwawLBJgdXbKzi4ug24uvIg3BIkUPrw/858FTgyztsu5J9ap97gq/1fw8Rty1e4xLrOAJx9A/GYsZy+FyowFBO1dAmULlGvqbaXwsc+euJchjOeKbrWQnMhduxdEncGAK99w1ttcHipSqSt1owkiwnhGZkPWppaRlRYQVtX/22ZtUrL5cbOmcZGCVdjWLsZF3IEf7AuCPbnoaJOsEgf27YtQSTiZv+LCtgXAeUmX3zyAbQQMxNzQwBK6im0FHBR7Em0bgk9mDOBVoUfsYm84WwNzd+syaac0Ua5bc97jjmM1Z3mKWEHuYYf66fa9Ckxf3zA5WkTu09lIJUyFr0JrOWyPgrqXvMH4vfRyPCYgQod7EBn65qPaoJGuaC6SXwD3g0MLIwttVKdPUSisB9cpMQjhgnF8QIiHO0qE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1642756844

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

