%FILENAME%
coq-doc-8.8.0-2-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.0-2

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

%GROUPS%
coq

%CSIZE%
9352052

%ISIZE%
105676800

%MD5SUM%
38e747f8d6471fef86dbe7f7ed64afae

%SHA256SUM%
a9d808f40c71c7884a49cf84e088ec7cca1726fb7f57f276a079b859861bbe89

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrqxdcACgkQdxk/FSvb5qboJA/+MQTYBEQz4k22vFo2E8W/b8ft2M7/0d/kyVHpPmopdjW5ph8kHM6MbaGIQIz9WRJRpUHWz58bakXuSfVyiY3ROTD7Xsytf5uo4mR8qToqKtediA4mAJXEC1woxey6lacUuwvLsxxha8RSL8ThYPoTdwA63BZanR+I+/h61ar/6H0lWjcOG1KPU0tKuHRYUMM5Wf4gZ6LAYOVp0XLKjnXXyW4+6mD5RQsd6/81JFDxHUMYST8Ey0r+4OfMV0aoOEqdJui1O7xeMpZZcjSrvLXq+DGwSidKICdcMMxuTDE+f8m2KFx0YAkBdIAcW7iXI21v/gZqQ4PX3Kc/FGFv3IvIWtcfkfBw/0DPVsOy0BwUQA9rDM0694pKfY9T2D8/2g06bDiYJh2FF+HXA+fJY5J1badIEGDnRTUB4g9GmBhVd50UhzSdxXZAgcsVH8rdyhsFpXS2dOO/Djl6w1oiGQCZuSi7n6H9LGOqtUdYNJAkFyIIyxID09QHaQSIG8ADdogh7FlVuQ6m43in6LdSpMDm7yXEUDIzHd+8Ag7/MMVXfJqYyNVDGQ1/6l/b5gMBQCbzmxR7BilMP6JX/qRcqCHeH640MMLSGdUPzGScO0nHVmhNdas2pHjylMU7MgfSboppM+Zk5mX6KZS71vDm+GLljPZrM9Rp8MX1OS1OBzM+UNM=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1525335453

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

