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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.13.2-1

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

%GROUPS%
coq

%CSIZE%
14306128

%ISIZE%
117538283

%MD5SUM%
f47f2a3d05c007433721389e7dd4b359

%SHA256SUM%
9904ed7525c7ce02a9eaa0a00a1313e4d5e5810e21466062cce1b6cec3df6cd8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmCxITQACgkQdxk/FSvb5qYvyxAAmPLqYZmER3Vx6nHZXnEqhnfhoj20uuaW24d5nAvbL5wOBIINiY9S/A3MHIZec+kAyPV6leip/wrMzrrHGbJKa9C78nUtu1SZIPIGSPj9uLPT1t7FUCsUt52gqHzVHel5+yypAcrhcwkzSvNIoakmWlov8YYOP8ebAsAhRh51tERCMsDU7Y71dWY49fHqxK0cs+qAd0XbKs9zfOqL2bziY13oeauNa2SQayqBoDf/QvDufF8VofsCikqit3+YP45+l/7wZPOFaq4BiG9AU5YwtGHgMOQpFNaV+gLB89ryc90LEs/Lba8IRQ6V1+u4kA1XQcnJLdZxdHYaYhMtqP9UifyDLduhxWlMEjKg31MKrDwg7TFlYW6JvIQeFZOkD/y0bdehbMcfTENYjnoy52oqsF9tJpl/kqrMvo6Fqfahj04u4BRV53AYQMSU1ORUk/tuHRwS+ziCppQ57fnbrbr4L99XQyPOBbtbCXY632qVkHeJ8hyyEUIsCvh+v8u3ZCkTQdlGWmdEgGOmTkRdJCdHfoHaNYwhVG42b7oZCYaCalXGIDYX6LVfBdFq7u4qZLfS0sskpK4RzdBrT5jLZg2FIkedGzcvvobeQCGyDTBA5l00Ge/KmldKfao9XwtyE4B68IrNTJOT1iKlzyeDDGlzUCfFPRTgIasqzOXrCk5mScI=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1622219269

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

