%FILENAME%
coqide-8.7.0-1-arm.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.0-1

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

%GROUPS%
coq

%CSIZE%
1363432

%ISIZE%
6750208

%MD5SUM%
87c0522983a7eeb634abb9b3b1cda641

%SHA256SUM%
736c303009bcff98c64c2ea01a802b985a5b1cd65b38bca67630595ffdc61104

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnYW8ACgkQdxk/FSvb5qaSFQ/6A/8iS6+93xkAARp4yCj8o2UD7VDvzVHkInO0CpeU9Rkq2HU3pLiAV6C5/049Z2yxyGub0Aj+OnReG3Hu20JX0QORtpPd/OwOyflwFRwzzxPT7TIVS1lPV39/iheORR+gyRZg6eKb8XxXvHd7sxBsemsbpLbihedcZIq55+v4itSVAsWeK3M9CwMiglfXKjw/ugmBT8SiWCLcQA8hYpjkuVzZf7XWTJj6PjmN0VNzmKG84o+bGOpTHZDL78J9L5xQxeCxNHumNYrVJVYauBHKIFL0RteSlct6MD9zp6qte4CQ/0GowBNLDweZrXJLgT5DIh3ItitWyAog9QyCJ0O4GmHoXlKBWsKn7Ws12w93Hinp0WU0aJCN27iFQuE0+w9JVSxKo0Z78p64WUiq89CEmVoyxUVirhV+C+ifiGV0DRXPgNP/sz30zgIUTSdo/W/prkd1qDJ2mcDhtjW36l+Iihr9iHqkLNjtaIXHblE/bPobDh7CXLbVUvVtG4M1tDe1hUvLDF887QEuqrrcC4va5/4EgFZK3gayh995QZSH1FSQ4CN+wIYYzOGs7d5OLEGadv853sOou6mtruWVHDbTK5bYjPbBCXuCPmOVuxQCuf8U15+r2ZaqPGWVJsuBA4PTHJeSjmIgAnUQS7VAzu4x0LYtFxNIg5aGFAVhkQSxBCA=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1508335885

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

