%FILENAME%
coqide-8.7.1-2-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.1-2

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

%GROUPS%
coq

%CSIZE%
2056928

%ISIZE%
11801600

%MD5SUM%
4828cd18428b0ca76918465866217978

%SHA256SUM%
d91c87c1bbe196a4df0fa0e447d63267ed7a95888e2b0e7692e29c18164604c8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppmoUACgkQdxk/FSvb5qZSRA//boFYLb5cXpZ68tOR0HLcyFQKTVHqIp9VU4tFWYfjQ8pTFQ+9OjU2stA+7oFCmH5DJSVAv6Addr4WK5v/kKVTqw/g64xszRdCiEI4NvwIOrAdL7LVH5bPMjiGAMYOImmuzitRGrkqE18rqF1WZExzY/K7PKRWWPB+hIWet8MyYMKU4w1OtOBrapON3nVMB2K1t5Lr5PuTVagNCg0ii6qhpCXKLjrzMG5SuaMes0KiQdtPH4wXyDIQZZPxd9kcjxb9t2MrAlendN9b3GmL95fdCV6P6ZqHNHWVAAAmpWt+ClKIpQ07AVMFD0khk8lrBVQICoIHGrW11sQ17oo4jSXIQX0RrZQhfVMaBf8flXpGhZv6s7hkVbE7nOmkeXeg4U28lpZ3iXslfhVR9Go6rWALLO0zOmXp8fxYAnzUIQXY9CjluO/RKFsFWsmMdBS6cTdDX6bEPr4oHnuOCVedi88sfAMRV9yPRaAIcMPrW90ec9tFIY2gg+OY2TW+jwGMre+UCGDRkJXtrDG86wbR+M4aYIaaSHERZ8OILMBsGtOaqYbBhOgGZVe4XGTrJlfJGqqTOGvtAtlCk6roy56NWKJ8cNiVF1f/r71LzgmcD6xsa4KKBtIf6lcIzPrNMcZSUlrt8xQb+5T73/f3eExz3/8HARECT+FmJ674Tmei2JBinCM=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1516870207

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

