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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.0-2

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

%GROUPS%
coq

%CSIZE%
2064784

%ISIZE%
11825152

%MD5SUM%
739e1b4669f48e9bdfff052231f6ba35

%SHA256SUM%
9a8058c0e3b673a3001e9ff4a9f198aa3f4e30bbff01fdb6601cc6b9a72a99aa

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrqxdcACgkQdxk/FSvb5qblrhAAmyFoCVMpivl3rwFaJHx3prKX7xM5w8WVyIf3gjS80VJqYsvN2CF5lBXAl4Z8+xER2FHh6loJUYCX77s/3r+/WYdGMEdaN/WpPlXHeXo1+aBvqElM0kfQdpiwMtPJwHC676RayKWgVrEg1yTEcxdpXt/QI/DYXDw/2oH7RqLViM7U5M8wn84ja1SOAITf2YjyaT8BmQY3+/0BZhKDn2D+RzwgLD+zvkA0PsAFxtNyN9BNyBLDDlKFcFb/jLa1O/e6QHf35FbhicYJx3MASqeqHpRSpErUUlbLJOI4M85ZMmR3Q/BShGMpmRorItsiv/OvxR/5//IkRJ1wMXXspk7y2n0Bsbs9bE60qXuxGaVnGBJbs3MAmRomlmwgZdSbaq8eFI0KgDUsDRskEZjmdKuIBgvpmXKYZIHzKbCZS04HtSDnyQe9WBGajCWsFDMqCwcO9Arkkw/tp2COUL0XD+NZGih8CE/bK5Ag+AkN/tLVM4CsPr2AMlLUKhUyzIGQUKMZ4bt5Kb1KI0is3UK6BrYQDMs/vpPOjjsUvQxfl5wjasGzhv5rukm4WMnI0ICA0T9w2b+MX2dhzetmxIIwQlU2uat7QPMPG5skTjeLwL8nPnjNw2DuB9751WgveFQ2bERid3CJGetN6yXcbJsy51Khv3jn1TKGJBIeYMmoK27eqiw=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1525335425

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

