%FILENAME%
coq-doc-8.15.0-1-armv7h.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%
12527608

%ISIZE%
115313221

%MD5SUM%
5fd277ec84437a92fa3e4bd4f1ee5d6c

%SHA256SUM%
1d067ff6cdd3592bc238f7a8e2883431ed7278e2ef514a2d9b503d5dcd2de603

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqiCYACgkQdxk/FSvb5qYuQA/7BqUFtRLQ/K0AXSU0J1Qj3osTSrXAespZwr4Y2uP881r/vZNBD+zxHxS9e7V4QPcpzmxp2Xyu5ehg7W/gDHba+pDPmjEKNQCXVFliSAe6/kp9+aeAenIPSQExlwXKunMXL8xRwe5a6IrLFzTSAjFLJKTjyYSVBhThtN6CCs/O2jRNXvkR0M6Avu6STNf1w87ZgagOL/bMug6RQ7p9Wbcok1xAvTXwyrm6ynweBgJcL4INE09mNJQA2Uap99RkLFgxfd3BxUtpLi1Pg2duWBUcB8Feewk0U+ExPbz66owaG+D6plbcd4r0NjH2bFzOBwuze0EzO5Yb9VAbTozt0s303SuJoXGuZDOSECr2C39OKzDYjYZ+M/G+rbv2zu7uF233eDPefxn2fx1QRzYYUpmFoXmGJl7hHn4UJ7Eom6C2KQGsdmT8PeYAsrR50ath1BQ/it+9pQ4UaIFsvUbBTAsVNWsQaaUljr/aLTpoEnJBV1AHApC1I4IMx8iz08ckEh0qg+sCQ0O9T+HduhtVo03kFjG73i15cnll1fp97i42O7uW7UrbR9oIXQB6wv58m2CyE7qhW2gq6q7S0Pxhj9yXb6JHilkEBaV/owEOc2fH2jLXvih0CIPTAStn34qRBxcRBjTTxdZRp4r3dmZ0bNPBCT8q1YZNWibL5S0jYU0Pzgk=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1642756844

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

