%FILENAME%
coq-doc-8.7.1-2-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.1-2

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

%GROUPS%
coq

%CSIZE%
8763980

%ISIZE%
75640832

%MD5SUM%
97b5bea36408d266c4e6dbc9de9b848f

%SHA256SUM%
df59ad1fb68ee08c5b93206309e9826313014a35e80a00c73e37212620c99b1d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppmoUACgkQdxk/FSvb5qYhHhAAuXi0hFsGEtBifi4MqUeONlwY+Ng+XR7p6L83+IG8ZmvpXAB3b0XY97Uiq5GorYAVsMw07IqTEuAkfApKqhyEV12mV5w3iNcZFMnh6Gb16mycXJoNuinEIiRzqm4gdtQd1twKe8/Lvom3/a5cx60OGrQm7mWBXbTu7ffVaeLCqBcF1jrcTw37dzppOGYogdGcE6ueeY8i9s/1wPaWRZYV837mzbYTFuXrvyKP4KDpzYGDEDdlIRwxqKUpxBvb9/OV5P3gB4xlyGoG+Q/mkpqyCIn/yL0pL6ee7BTH5XuvpZymshB0R5RT6wXMNBEN0L9dkr96aHYazqJkUVmrrokGb2n86JIFq24ADIdT97oLhDAM2EwTT2zyn4k6hp3pDx/VT86l8rCNpUfnWwv/+Bk1wb4h4PYqV369vD3ErohEiqmyPSKVAA0gNF/oFul8qkPEJubBzA3d/RVvLgGSvc8ruatWf8ijS4vGQa0/1JCfygYwNincXSXibhmpshN3OH20occOJGZD3abexMQJH+zP6twFF/lXsMNViNGxwhyBr4DlIAua8Tjazj32bXNnRFoqTKlAM3v4W5kIcC2yWD9pkYeo0gxutFROIFTmAIN2nJ1xaFJ2jtqNau9l4ruaWNyW1bH5rwjkzcyaXsFeAkMRMY3CDFk58pF4rI/XEV4nnkk=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1516870232

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

