%FILENAME%
coqide-8.15.0-1-arm.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%
2065000

%ISIZE%
9764942

%MD5SUM%
33b0cd37d9b8f25839ed5845390e8cc8

%SHA256SUM%
428e2fc96c1bf38d64b9a336185934f68074b70a9cd13b46d75d2cf964caeaf9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqifcACgkQdxk/FSvb5qYy6hAAo2a/G9t5HqW3IAXcCEfbR9IQctS2492mePGtmUvUlAyPeUWiqVvIKhhpZ9W8M06TFZ0lVkHuhUadK6g2tmyTN0EBKMN3bawzM6bEuOYhSVTFVMUWAyZxT/oGInwBW7pOocodPI1XcbGTNem51SFVUzU7dIG4X4i8wr6G894il0FXpOGUOsgt3I0Dfe5eVPB5oFwDjbpkbICxFRzFtKw0vxCSM5Y9+MqC62Ha6zpu7IdUQJyt8DD8YMOGK0AXKSr+KwXIur6PD8VHW8Q6I//pHWLa6yn71c6tQLit4BpThd0tfqIJnR+gu2JnF1brM7wcK4O9baQ5Os+QFrNKjJldXWMxWdV00qwtLR+kOheIi75gZBjyrQcRtdBK1dr4eAjQNVwMvKRu8F8n1xvBxjScrEX0h6B+HVgdOWLCmq3FKS0doJfwALB1i+3/0Hc4+QXSr639wRg/jqO1L+7EwwnloVE/rQfozVB89uObDKY4rDRGFByM1B9sAKeSTNZYDHjiJKcrEULf0XUHb1fYSjdvYYNplNUQtRyZH4xSUPXilXnY6uhsDLzY4sg4x8Z0tiXfn2gcDgjevpsqUgUPfWSQJ3hm0cp+SWJ4d4xTtsus6JQ5zig7M8LW+hDx8WtYDY7XiLnqOYl3s5+Rl9Jh9FnaO36sLaatfwi4rMBTddCSxGY=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1642757136

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

