%FILENAME%
coq-doc-8.15.0-3-armv7h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.15.0-3

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

%GROUPS%
coq

%CSIZE%
7527972

%ISIZE%
104029982

%MD5SUM%
05e4b6cfa05c1607c62470a81d46f9b5

%SHA256SUM%
b350c959c2e94f468df24a4dc4781c164bbf4431d1becebb56aa123e88c01b02

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLzFoEACgkQdxk/FSvb5qZ8ig/6AxWAhft6s+gZx6NNmmZBNDPyZbK0LqeHdtTQpYof3lTmyWtw0SBl+prrBa7tXPFme5ZAMFlRjvF20B2qKAXD9pXB2SzcoMdE/taSiMmusHEb0rnrS4gfPEbiOCbfQ6jbng/ChM/3FU6qOAv5vdum3AyVQrnuh93fcaAZmrMVhCmMZVWHulYxgW3lfqQzK2Xn8ZqeQFuSidMEniT8U0+zc9w0SWGZmWbSO1oVrUYq340IBsRz/QoZMs2fWaGoSHr/+E5nanX8UJO2jIDIgTMrOKnywLaTJPd5ZAI9mt01GTVpQmWbaTuY+HFS6QFL25RxaDEgxq07cf6cJ6qtQ7DBf7d/s/uAl+Qvt0s/crjpd+CJRedPXtz6f5oTQRM0uOYZxbqkO81+t3aT73pwi0Rx7xXloAjp3x5Tg0OJ808paV0dE9tt+T3a2MBVyw75Y+AVTSDB+LBUlB2Gqp29h+khWiuEp5pubUe7J9kPbMUfGpx/G0ZXWjFIFh10zUaZOCZhYhVYvd9ud2ofVEzDcDMupdtazeaTzfxvA2VPsx6xphUuZy0SPU2hbZDo7t+RHxQfIbucJJKvjdty09kttkS6L/UM9lDVzi3Z8qPMcClG9SW7JDBR6c821Hz1biFEbYGU99roQ9Fm59arq/y+FQw6wLzBp/JexfWGa/LR0x9C464=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1660095114

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

