%FILENAME%
coqide-8.15.0-3-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.15.0-3

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

%GROUPS%
coq

%CSIZE%
2850252

%ISIZE%
14345516

%MD5SUM%
429f1e55e3945f087d6d6c4794660715

%SHA256SUM%
15cf812a3edda0c4a43480a718d3db040ad8e410613e05d583c0de2758ff99ca

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLzGF8ACgkQdxk/FSvb5qanhw/9HzQ/vju0jvRoy+T2/xMy6Wx5DFUSrGbHTIQ2J/29xuyyt2G1u1LWHWvQvMPtJjOvbJfbj8tMlPnAotzfv3Vy6+E4QnWCjeYZBqRw9BU5UcVPkGcH1G/kZtEO+CKbhElj27r2qbXUbEiczBFYpAiIXitgvnOpYVZUSmOk4hHnSRr8W3aIXmN0uqf3YJCtEnQXmGia2oN+13SWNC8z7Wu/m/bDEkMW98aa+trUcYOz47Bvkvwc1B/3JjHIo2599DqcDr3qBwBLS9MkvUsypO9+DZsDLg2afUFDlXO3m+NWMqv6PF9sBKF5l6AO7MywzpysAGfKNlz+MnDkUgxNfjUilS1uN/u9cUcQVBW4oGtK7PHqhCoHEhhIzojjlFZRN/jUytQI6H9jM4JRExf6owlOGm5t+kVyfYQR0xGTcrMz0spIWHyITY5ozQnuul/bP46c9dofDsv8vmgvxXN1FdjL/E+kMyT+Xc8sMQ7o15AxLems57HXE9wnDQaghFSSG0eWRGZtB/U/RA/Ql1C97ejIRUUAgZc/sgAAMHt8I+Rwbk31xbdO5qdk1RCb/l+kyVon+ArxGmF1G+2LHJRr5NtS5sewZqMO0G1E8WRkGDvg61OPHdhn9EqScMPVq+snSyhXpF0wkTnGmxQmLETDE7/5efRqMr9pazNvBfXmCKW8nls=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1660096744

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

