%FILENAME%
coqide-8.16.1-1-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.16.1-1

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

%GROUPS%
coq

%CSIZE%
2842424

%ISIZE%
14380575

%MD5SUM%
47f8ea5ae15fb2c3085d0291c8dd9350

%SHA256SUM%
bbbcc2573ff2cf5c1bf3392629179059134131ee946c272ee0bf7ab0e8bb2ded

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOPVS8ACgkQdxk/FSvb5qZUFQ//a+qXVR2VJDTSZl2p0HY1aWHjyaW3LCCSESfOTKZsFMZZA5WEizyKpN44V+FxP8dFaygVGL7XgNSyQf5E/y/VC3HVtj9EzN9JnGrsxDcBF3/U+qd99C7zGcf0IJRQXN3oWP/ods55l88CAzi5Ql5TZdS5qarzIHC5Fp+MwHncNNEuBRmODP0xeolzuAcEaxq+Kp6dDQ8ql4hMUkCVYQa9dKnAbeMdmttUvLsgcPbjzl8rs4rmZXGf8jcb65hcA+1za/a68oOkCMXBfWviRAVPCtg6x+mG0+Y+83LZPkE10hiD/Rf1AdhrXAPpqLRZlQEEfa0j9VBaYO9APwTwKOnGWbXQt/h92mX929ri9MFknnxRBdfLxOtmJns/gOwjOXW24gK4KXysxAKpN5fqAJiweziKHjMIFCgtW+Vu3zCSWuyiswvDg+MmW5L++6tYqJ3l0BvHlNLtNM0OSrkluqtJ7ErUCnxGBm/JynzAIyL+lRtSHf/t1MXcWjThL+LqmcNop4c54fyNWv5Z9zUsYSh0xLcDyPz1EJb8nPR7+uPhM5WjRpUUbKbS3GNsFpHuMxK1qBXlq3fHNc/ROpS494QNBSSfm2fVRWFPNlk9jstSY4uQk+kvlkkVyrMflltvFjIcZH2NSXZi5q0itBMI9VdWhEBJARG/0I7e//SYKTSfRhc=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1670335814

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

