%FILENAME%
coq-doc-8.12.0-1-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.12.0-1

%DESC%
HTML and PDF documentation for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
13725208

%ISIZE%
112558026

%MD5SUM%
fd654004002fd3cb176536cce99e0622

%SHA256SUM%
9bb5a0c3356abf314651409d9904886a14e83ecec917161158f071f3176076b5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl8cbAUACgkQdxk/FSvb5qbZ+BAAy9JZMJlK3Di/UJ+fRQtBlgqj1zJoOHkvVfZl9uaa3A1Bmtj298Y6yG23qS8HGN2XS9sY0KQumJCWMOuWln246k9CFz7mD2Jo2b8wOf3Xol5sAR/UZOlz4cIRPrS2e4S4or/E6yr5NcJUdpL2PpuUE7SsHnYiz9Yk8jWMBTDj0gr2NlZcA6Z097xSsmksR37PZ6qFIFY7LYOtbKOVSKNshl5+GfpIl4WbpzI1vsybScmuogB9zE4BFyutWnwfT7fOsEZwe+GqS4QbI3ZCwW93zOEMq1ZyfNNmjZ2h2f+uS+6NmTmV4oNaM+EREzxZotbNyJRR7oRR5UBNQIcCbVBfg6xJeQInukFiPPAIKP2f1o1NiUPYCDDX0WbYW3mca+OQ93ADt+MT2Uf8fhss/ORwYyZztXBBi7minXOypLZi3cBjpCi7+4G90FxPwpV3esskOYB1lMMhnEtsCotry7tT6W+4GDDyqCCSK++otJZU7xbi1uWn9/5vkybRMVMZns67lNVhcic5pxKQ1Twtbd3xVEWwfRK3DG+RPJcXkdodC7eAesMdPlcMI2w8uvz2bCbZju+GtpBlQcw/w/N/EEHF2ri9uyLvZZanr4js3TqLt+tb8zD+QK04E+yyxQKsRyQ3uuv9OJX14PbQqiAnW83nshu/1ct+B11krflt9epq55s=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1595696482

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

