%FILENAME%
coqide-8.6-5-arm.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.6-5

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

%GROUPS%
coq

%CSIZE%
1509384

%ISIZE%
7784448

%MD5SUM%
50c3a27a1c0539398f6a8d2a25f99557

%SHA256SUM%
7f2bd564b7f780e43b4f2ff84e084303120f53aeb1b9c8cd2da422bfffbeb985

%PGPSIG%
iQIcBAABCAAGBQJYrewTAAoJEHcZPxUr2+amxlAQAMJtFMbU0KHYT2xUzWiFmYTMxSMnPYMdUY4AEf5KA2xushfyuIJTSpBLPilrAt4PZGotz+Ffg4e5q4vFa3MmEVoHgYXowZT/E67Co90t+9KKzHKprLuqJfxiZ0nfyxMyIPNKjjG8JzDuqLdw6c7/g8ZQVVPm0BFF1dgq0Wb7rXwhTL4GN13shf9HnIhY3Oc7eqN1WQGf0+kRLEE68TW98yLMeZLmlAcnMGioAnH/sooaYEGod78ZMDz6QMVxcBlb8D+HGwMilvBR8N2h7+I3N7Y90dSus24VQJGBpsIFZ2yxe4ualtwg31vbP72xaKOM3PPGVl4xq5punuyFzUh9nuhg4LiPTvRlo4J4XRHl+lGmKDDgvYv6hZ4Cm9YEn8A4b+l527EcdSfF3jwTTiepV3czjdUQ1XigIvIqRJ/aQO05L384R5+83ZaazOEqBzTwOHHlRZ6+tra5c/0JrNIsa2/OOYV1vzFWc+uBi0ui2LhgiCjJscItuNb9aEuam/AKfhFE77YGH/I1ohq0Ip7a0ehmA38gO4/qaW6kMuOaTRFQKuzzm+p9SYH/y+WRWyh6OpSvaqhBMotdNimEIvEwwDFMZkIwd+IWlggYrPhuIjDaoYMib6WuVZodDeqdU4AL2/3lo+V6X/fBnk6dvWhOhcqvpTmAXc5NZIIILQOOtrvX

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1487793069

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

