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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.6.1-1

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

%GROUPS%
coq

%CSIZE%
6578236

%ISIZE%
75679744

%MD5SUM%
101a7a012b27620905d0d103dee51cc1

%SHA256SUM%
16ed46a6016e01a7287a5efd82e6ff408307a5f7a34b85c33f72957384e7c9db

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAll4VEMACgkQdxk/FSvb5qZq1w/9ECoWglpQ4AlWsUS6yLoY13DnSP36I2VDPCaw99sWQJKcXBX+ekCqeQMpR0/vjqHIZRVEuz768utlhXY5F2zY0zkY5yErkOM/809Q5cmbR23tmivviDZmQXokOIGj/q/pkVwvjTsQRxtho/6MGXdQZ4n6/zm6PDnASJf55dzYn/pIccN+j0oBPiAipeEzK1zkxjTKiWMw1KAiqL81vECRjE9j2dXNOkRrmM6MMrmWz2lCCUhYAw3crK+1XTJSBJp2J/2jkpBjU1HAgnepN56ZJjInh3wChlAaqfELMl44ZZ6FYHuP/a3O9nvsdw3itDDm71jgsZ0IrbfCBcNjXynwZdLDXMN3vPJ1yUW7RmmquLpTjzXWiragicp04E2KJHpL6hwSzWPlwbfYTgIVptHbb5xksYSOb1FE3yZ6nmMVkNgRcDt/sgRsR12MidWfmNV68TSKHpvgkPr9/e27z7SvQFiUQDiB9+3d0Jo2tc/m9iWca8aIR0R0bYpVzSc9Egqj2bwTTSEjyp4A7bsSndQ92JuqDXPZW+3NAIe/ubFfqx+9UIGqoxrhdbs2A3eZbVEKU3uASPAJrln+DMkYmcFM9uG2iE6HdxSyoHuINjFJ4yWAfnbIHh3msPhO+Ol2sJ8pYHxOKBsz5K5/JDcNp1jJG8mSHI+earQsdqDxuj290eE=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1501058075

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

