%FILENAME%
coq-doc-8.16.1-1-armv7h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.16.1-1

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

%GROUPS%
coq

%CSIZE%
7696964

%ISIZE%
105080385

%MD5SUM%
6a5484f698e4ece8fa777cd79a720c23

%SHA256SUM%
eb5afa546c581e2a925e49a9a0deeb1fd02b1539c729faeb24e382ed895dbdb2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOPWb4ACgkQdxk/FSvb5qbL/g/+JWLotpJnj/UuWHdXIeYcJTUkkNlPRlthh+GtnDZChGV2BmK9TxC0R9W0jAzXJ39XYA8kMYXQqERXnmrQ7ccM2p7p197TpD5fvSuuWhlLhUekt2kV0TZnkRe4Pa5W8pK0deOhjGGgI9dfgslv7RYJgmM9jdghzmjXHYc0i0f8VeasCAEjdL1GyYvagvvl+ax6xyXsyoGNYdAQDdv2RDyim7f9AKiui27qt+wwML10mqJ+OelenL/0PDtt5zA0lJkVnEeZ/ETQYdyK2u4qMb+tDd7LRwetJ4aG2oIHrjnBXkvJI3WbyozZ5Rjb9lQSXy8RsCUAD4j6PD1z9X3KpoU7Dw+oAFegyiypBuHtVuScfQunkO2RJdYeKl0j2ICa+VuAPB7lx57lo7N5HwUIG0u8grJpXx+gNFlty8KjK6ZKlPBPExDwBAee8lmt+1Dea7B+uNkZ4YUEuz31Y1lr4HZncQ2X+0RiECzfkbesc4pju3ys67eVMd5UADpXSh3OkfeP0/+mS4LCaxfbAdbHTp9G/bhbzt9y0LdVQ1X4CH319XKQBwYDYjExgWcaI2Aq1X92qdbfWE7rTslEKhjlVjm8C3sFoPxNERERzcextgjQno4tRpF/VKZEwpBzrQxbSIEWHwz+Rg1nC/XxNCdPk69XvD6iTYJIHGqkYOKcqxX3gR0=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1670335791

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

