%FILENAME%
coq-doc-8.18.0-1-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.18.0-1

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

%GROUPS%
coq

%CSIZE%
2279132

%ISIZE%
66842794

%MD5SUM%
e98636e7f7dd6ed7d583639bb002c003

%SHA256SUM%
90b93226c6417e21b2c021721e5bb95d444e902dbf28386f737fb75725f89e00

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmV5EL4ACgkQdxk/FSvb5qbWEA/+P/MWZqlmUnpGku3K+I9gWSi/+hEScY4WDWnasD+e8Pkz065m0BZXwXqHkOQhBGI55R46WW54gZDOgmKtMBPcNRkc0z+HFXknsRPDbvO4kjmsIzUs6hl1zoPxrJI8OcBN57C0jWB7DQZPVx/h+fI3W7vdu8YLmzTqilY4Jv6WYrEdWrsdJtWT0w05UouEYL/kewkyk6/SgAm2SSk6IzZjUF1NoB9CWJPwYqAZffhHPri3PBCjGV1MJIt+7LcHDyrt1g7ipu5Gm51nfoFQ2yj9AyuhpKivZkcFf4YiFPWM/phwiclHjgsBMJPM/KygwWznljS0ZbIg8Dn1hXMxdlQQIRYL04YYEsiqGEL7T9AK+OO4o8HiHRuuq01ywUD7/AQ9cSJuvmxJnfNvxCMsuP93zoPpeCDyIcMkk5FRuRLiWVrBebSWwcF4Y+fN1FZO39AB8RG5Y/ByyIsc6YEfHqWgq1Vhn5MSgEhjGPopCUyU1xHNBUWzpB0+7xJyW6wAmLEaFVh2MZZ/FFsxB9pWrBbZW5gKEwXAJ8TX8ieOu3F0mxVr0xN2xXYUFSY4NfHbgBjg6SuBroD1meiI3NoX6t03R2nAVY33ftrfdePbSHnXj+NBl//twBoXG0HCydOHq1qUZX9pSvDWyqc8Dv2bsaTRjcGf3Z9eQuzeriLo2AFRGbs=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1702431166

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

