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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.1-1

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

%GROUPS%
coq

%CSIZE%
1394644

%ISIZE%
6011904

%MD5SUM%
0108b85109b7497dd0536784d72fc0de

%SHA256SUM%
e635d2d7c60f0d9b1cea353c3f063e608fdb203da07eafa1abc1f682c67e4f65

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlo1tFMACgkQdxk/FSvb5qZkQw/+JUQcu+TDYyhhzkUb1AVdyU3K9Mka9q4NY/+ZNlDHD2i8Tuidie3ifR+qSZ2M23c2LPw/cqu5V5AeydKEcaWinOzEqcyKVjvqqMXlZ6PqFa+J8JkUOnyg1UQIQPyDvxLkZCDXnYG/ubI/OYFiuIZS33ArPkSYj9CPHaJbb8hVVm9MQOSsKmMDlILW7L2QrsJneALrc/Z+wJSaUqZYoIPOzfJWWoGXRgOvqStrCwwz9HnTXC+vVZmdUQjGOzOBlxagYjThkz+7LWA+S2TOvxp7ldh60/RKm6Hzd1CiIzIiM8YhExJZ3XSArgjqPWM5PKnjTC5xxRVSoW7yvLRPJi3MoUvLSdGqRv/2UiXRm1/rTbeh6cCar1btn8GNgbjVGn6sy86HrwLx5gZZf4C0XPjwQqnk0Wrbvgb2pTVraPknN5QASfuel5f9I3CPbkMq4dnVgR4jYElkoUH8yz1iN+Zw3uqrwHIBHweSKJx76lOCPcaB8HRvZzrNVZfq6Csg5TPmuGCiuY2hul+p6oH1p1S1SA2iOPlVSfstRqwpmCssW3cAPwsT5SZW/paVYV3SDhQOGl5NUQnRPgML13FMAU1KRYufRwe/zdE+zuHIXKXiQPyiOGyc/km5/WP8p1+Ii5+/d4eJGxorUITSABSaAyBcnsbosg+Zfr4oUD5w4aAkj68=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1513468915

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

