%FILENAME%
coqide-8.8.1-3-arm.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.1-3

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

%GROUPS%
coq

%CSIZE%
1673216

%ISIZE%
7860224

%MD5SUM%
4b38d5f1c22266dbcb204638340acf3f

%SHA256SUM%
66ecb61ad2621aa9a8f0d06de6478b135c4d9cafab6d65a899ab44b4fd618933

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzPOYACgkQdxk/FSvb5qYHphAAkgKGO2fc4z4itCy0rt8QqXanIULXg4QjwODl0YjECNT7J6NcGicJNh1r8H2W3lULdaYpR9cJcXk9FziNnlzDylwAZoR9TccE7sE9bPC/PByCIEHcP6hDkxmSSyj84WTyhT13co3JXB+gmZqLXqeIaa/lKb1E0yCTSZWOPl+RxmAyJ82l3Dp9W2EdXP1fPkaG9eEuQHc51xJ5bAlU0ZZRAimCZI9eIibztK7nvRT2GOejxmkf3Yu/l+QX/pICG53+tjYNguW0qH5IoEHzyoL0qsy6j3CDgSr2GXHI5jEfB+Jpr/vLuXxHzyTmORW8xGvXIgQkoM8/PvS4DTUQKWVDNirosFhuX9/lSg6omcuI15Edf1ecLgm8m2VwSvsKl8MVXaiIjmqxAnpkTGOM1yxI59jeioynX0NRCZzR/0plwgwmhLz+dmGC3sFXIgKaPS9Sg1iuRPJmXKXOsdRS60hEdhV+pPyFKEOGZe6YjqlSckGxDbSeACSEOkr+oivMZ9Fom+ptQfqi5GWBj7rgkPCCPL8LFjyL5h4jkZEdToKA1QLPeihNyfZTfJ7Vd/9G1ibwyZCj2UhOvHzk7cxl8E5kUvE8NVPTp6BXFg8iDL+PE6uWKnI7qcWD7QZh9hkm+xRgrq4GTcee5MpJ9Wz61NVHmiBe6l5eeJKvAYoODELcAac=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1534277035

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

