%FILENAME%
coq-doc-8.14.1-2-armv6h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.14.1-2

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

%GROUPS%
coq

%CSIZE%
12172528

%ISIZE%
114249332

%MD5SUM%
a1a989d07ebf53a44fd4fa9b460e3558

%SHA256SUM%
8579702e0b71d8981a3ae9fcbfa474f602cfc777b097b242699b49d35f14f292

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG1b10ACgkQdxk/FSvb5qY7dxAAh+A6M/Nwn3kQZE0dVBHnjktXzWMg9KffFG24uVw5oET/D2msSADotymc9wf7pIpLh8MqJhUs6s9iLJyzW8wO38I1Mx7DCsG/8SWkjywaFuhd8dCLbtq/uDh+u2XprTHh6BP53zPkSZB/LNAi0/mcvJ4pqm4xAYRgCz/2OUtXTlws0C45xWzkp1P0/BySgU8++7dgJqgfeew7DLHlwvndMX6TMXcOX/laWia1MpypYmK+EfPh8XvMwb/QEUFdjZPtVbuhR5VGlwlLJwmZcPEXyXtkjY5IoGnMDe/zU9sBUqc01EuLcJjv2DzEfZ7ifpIejRw0OOJel+PPxWMB5Edfa7iD1Swo+jKpTG49xDTZ3UREZ5CV2IjuOeoyu0ouM4VAkZg0suacaclaZ+h0mOSUPbUrw7eQwJzXQoWAZ1MLe15qGbiNOejyBhXr2ySon6yAFEhLJOrZYP+5uqtNPPg2xX362uDIud/LW0oZYNstGpBMX9omAULw0WW89kmFv0myHfeE+VGr/iOK9MhHkZNOmZkxIgoEdS1/0j+3dvSr5pL1bBgbTdJ63Uk3AeK/Vfi4Z+dpe6vD1asy3ucSegDPrm+VKgj6ziVVDk9VLluW9ael96B7aIgoog+eJiTWy+fo/MLbn2PmVAR31scFUuosAMBybWCsZRzngbYxTCzBiac=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1639276912

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

