%FILENAME%
coq-doc-8.7.1-1-armv7h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.1-1

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

%GROUPS%
coq

%CSIZE%
8688908

%ISIZE%
75656192

%MD5SUM%
c9c0916ebb33981b84f4a67c7b9f256b

%SHA256SUM%
6d10c01fee6eb69d7516b6211a9f851600624026079efad20bc4098a0b836c23

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlo1tFIACgkQdxk/FSvb5qbGXRAAo3w3glUa9RDcHOj9bUCN2xQWvO3idB/HjdAqE6oYw7GEKBixnkVT7VRoViU9S0kBIWUIzVmd0jSeZAXE2BvosudFUNaCKPW6Q599Qc5YlhewCCjxgB8ifaj9/cOIuhTJaXr/wqKydq3oIQiZm2Y15Spn5R/ikFhRlYdslSmyWijvK5NlF6yR+Uh7sEVIymuE6rNdvCJzXhEDA1uKAApUutEaNPTpZpYNbGqAmjahLwfr6Uo1etxR/Erf6M7UnIoVwvmxPFj9tAwAfsNAbYDWySU0g25nhySgMU3yXK6AVEQBtC5TB2NLNuJS22klGXiXoeVjYwLrrNqUFHdxaddhJkig17vfc9Zp2j4PLNyo6Ook0ibyOhlKRwSS/kNfFSoRk2CYMcEOuxA7ctyoq2qr09tiHnlwMPPBbiNJO/zrpuPTtToNa47AqGWE7i3B3Yt1rdD0TDp46DbgFl5ofVRG9d80EDXe4FeTRgUd28FIcKgn4FRl/38EM7XAMoSxvX0SyU9r7hjuOR6o35+AlEdqo46Nnkl7NR5+s7CUInVbHhXMQ1WuSQzS7+YxR2B/BemMNDxGCM4dOPhmIHlsAAt1FIRN57x4d/fWNIY7DYFbpF8W5ZVidzvousb193wJQXPj1O1SgphZPzcxLTackKd7eZ19MLMP+Qu/5yFNPqQNMZo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1513468948

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

