%FILENAME%
coq-doc-8.8.1-3-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.1-3

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

%GROUPS%
coq

%CSIZE%
12024620

%ISIZE%
101809152

%MD5SUM%
883389e9c148300b61ee64e9f2ba9e1c

%SHA256SUM%
f1993703a6fbe1227404797dc8859f94c2d7bb03e359c340edaa99114e8fc294

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzMDQACgkQdxk/FSvb5qbYmA//RxjxoywFr0L1mbbDCV+27/rOOCYAInBfjjmRv1ZPmK/D8CEEcx4MJ4/DtXUN0nuPPrAbw0wCY4RAlDHJLBbjqxMbaFvd2m/LcKiZDJfBKCLxHifaPJsGJGYx4ut+UIEjIIywhPHnrbYKpPzDXOGM1qrv1SRSo4lSQnDDbByKv3nf76nd3oIk6WUbVcFyUzpDtF8JNQKM7MK3k5Qkt48jKCaRXH1pAbK7G6wVz2jWC3vlBDngmyl8EWwO1aVRO10Kh4iDO5iBynz8NlyUxGRmFEWxgX5ZZJnYxfW+CxJ6jbxaHSGaE1TDeXz5vfRmyHRvpm4xN0mwb7ARL4IW+bjXH5lC9P6Y3pVatip9BnOfWd86V7HHtYXizgwMSA1mJfOYVcBJQ8MpUNeOWEsfHkuhvNQ5Wbon7S72srupLiJ/yk1g/aTsvOkV7VrsHWQI/qKA8k4sa+s24qa5dMmgCZ8GeONSNjiSBVqYO5/Xd2/ONn6oAEpvdQVXQ6yehLjpwo0gLlFI94soB3UbvB5y3o6qdEN6PJG+6N7dPh1+yz1rMswd9qW+WAyqwd8OwEl19JyGUs99snYNHKlZA4hq2ZVxvV2VEcB/HrhnahsgptPnIawl8eNxgkzfIiBHbJrGqKmP5/FdgB2APRq34dbuw7Vfs6NWqetV9Yk0qphRUAV/y3I=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1534274518

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

