%FILENAME%
coq-doc-8.15.0-1-arm.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.15.0-1

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

%GROUPS%
coq

%CSIZE%
12527600

%ISIZE%
115313360

%MD5SUM%
ca817fc3c3c9652138a34d3a04e45556

%SHA256SUM%
11d975d19b1aeedd72ec311109267e7eb122082bc0363cea1c9c9a105c3bfac8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqifcACgkQdxk/FSvb5qauRBAAv8US1Jwd4wHaFkxot/NBf/eNmg3zICNW8B5f7yjDR6uNZ/QW4kq1YOHP78So3KwbH89OmE72LMHvlJmY3pr6qIIKRD7sV5kXjDBLymp+R874b6JdJmtV73pgSXmmGumpXwh70Wp/Kw7bqOmYqcxVRshBEXrajaxymGFxWdq+z2viJPLadCviGYABspK0eV2fEK7I+M3joFxY1AGKWmSeEpRGqThXAs9BS+j9ZX9fllkklt8E5/lrw7jt/jTuJniU0qY8vGWQBR10KEHWBU+ba1CdEiueZvimviouPTbR2794GTFm4jjUtA7fwHw+fhWypDrnpuliGOK0fBepuIKd8koD5c0sNGlmdkp16fy5nBCGlW14m8M8G9l3UE7unS1YfSoLnXOnCKZs8ICtbNPK5UChLJwBBH0d82NACtpyL9RvuRT/a1QE+bRSDZjia01SoR4Tl94ieTW+Lh5Iq5UsP+7Tcxasa+tEzWDVFtr7tgqMOcuFEycb+jWkurLfSkoM+/UTklbQOgD2xVEh3Mdks1Y0lGdSGKhSeuKZtSSzSZChMWuhW9LhZco0phRcay6wYlhfdwR/GAywFJoHUnPqK3k+rtVxFmOikJFYL3935zs6t2tAxxP1CpJ4naPOuiyMQ51U/xis3mMlj3+II/q+f7bMek8SEyIMnYc/0HvbdNI=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1642757136

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

