%FILENAME%
coq-doc-8.16.0-2-armv7h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.16.0-2

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

%GROUPS%
coq

%CSIZE%
7675012

%ISIZE%
104888377

%MD5SUM%
715fec2d4a3de2f425afabda4123c6e1

%SHA256SUM%
194303ef3df864f8227d5fdb49cdce5ffc29ed4178746efbad1e629c83206ad8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMYehYACgkQdxk/FSvb5qbNmRAArVllQXvmMpUwwdLjCY6nPEuJ/RhKnFHB7RbsCzGdwyfHzj/Xef81Hlq/UQk3vC9mv7miKV52YltL8PCS1Paa5hvYziSnyQPgvTIYqVctp0zD8cEKtG5FIWG6p0aUtRxnfseILOPDaxg778/GzINpfllLqm3YTzW0EiKFQRL1BdMxG1JaGkDmAXbtXHLUdfwM62l2tpjzuWkttPvu29L4lt+4u5/VPPc87vVFzHPlvFDaCG0lk1pL8XQtrPu8P6wzTAl0e/XnAwOJODJWMi/VL/7SC1NHvV77HTg60InDU53N9cv5v6JVE26yc2FxEdMRSQlA7Thk/Ws7paiFWBOhoCS6X5WKPQUf6sTfCgDoGT8WVnOLCkxXKHhJzQ6TZPPta2UgoCpz2cW+z8/Pmo+/MX1wLztxGms2IVpPm5xPrw5wyER91giRo9oYI5H7JmkVqOk3iQSfc844mQw+pmurvoG2YxzKof6lOlhwZk8YpHj9oJ5oGHr72hSohAFev7o+esWDo8Y7H8AqxguSO0DGsB+ekQWdswHrnAQV7Oyng6ZgFExOWTDOoLlGwbNkxMJheWsnbZBfY8SxLSi5vj17Bgiz5aGiSfh4OPQpRmw7PeU63civ06nGlPJycyaiN6zE+/Z1KcqFJc7p19voDHSHBVaEcav5Q9dsqG4nzDlRaUc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1662545315

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

