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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.1-2

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

%GROUPS%
coq

%CSIZE%
12026240

%ISIZE%
101803008

%MD5SUM%
230546688d17469295ef36b868aa2d96

%SHA256SUM%
d6edf6400f6024173f4730269dd03bd1824cfd4c3d0736cbc92ebe5f14b7c3a8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls93yMACgkQdxk/FSvb5qYWGA/+Lg8JTFLGAavm7jDeMYUs8tXXrLMj6gxfWeMbrhyq5SNmJq0J7yViTmnhI8ls/6mV4PGp7/4YsFxLPE70qpBENybW0ALt3DbrzVXHBL0BLTYRbphNwoAsvAVl+SZUxsz8ychvHwHmBaD9pjXPRT+jDETAYM3ACQmHaPxc6yvG3/OKnkSDI5gq1DvqPbPCnBlT0++u3zTd6tALLvc/KrIW3OpZW7ku8qVUD+PF5g8DwVx7PG8vB25AziF7ogkaHKV1n3bJvgT93ItWrnQcNQ/nut2N2usc0SilyPEz3rwodoHUjYeiTj1nJCwykPiZzmVTv9hMQ/lxIH5b78RPUZm6bwziKuKHgSfgyCR+VKyu+oLnNuH5Q/6IhZKk+ft5vk6FAgaTeNEnmWumoH6w1U6QXvN/PUnLqg5obhVdxq1ZQjd1nm4AX9HVJsmk0OgojYT0x13NdMyWSxAqx6pv65eR4XJ7mJMa7YfF0I+e+xsammx4tpEfWbtj3C3QhF1Lsn7LrJmG/6+wwKW9C3v6Ar+NkDAbXl5DfGBeZumglYIhEx/mlPgVcRdWnQ8VhGL1kSlxJ+251zMpDsG1M8ihqZQeQAVhWrZjjVgf7cRt5asHSaaHqM59/m8kqIU27bEyBKH33dBDhkydzTSWxWsUUFWJSO+yF9NANW29R5DGfJ+yrkY=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530779728

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

