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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.15.0-3

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

%GROUPS%
coq

%CSIZE%
7527336

%ISIZE%
104030396

%MD5SUM%
338136fcf4dc9cd4226f5175d7fb0f8b

%SHA256SUM%
d0ad78a8f0333bf8e05d1b7a990cbe198ddfb1635a2feb7cd6d9bc6c44411b98

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLzGF4ACgkQdxk/FSvb5qaZCQ//WEkGbCcc2B5hWUuGt1onl1oVt6jHHZq3MM/GTPNWPiiMI9b3SzyalQZ8RN2DQmMZVNFUXOCXBL6phQc65TaJypQX6cmryEpiYPD6knoLdO95y9y7eq5UiH32ROQdS0ngjb0lzEA7aX5s6Y3+xCAWTqIgZ6LveWn77omJzL7pHBsmVDrD6Y35DOYIePYAJcrRStVfhnRM0/j8wyZwu3BEsSW5542HOFIUFJdsRu6PgjYwvhsO12+HYBqnrAdoHLYq0knzIvAeswiATI/G1bzaHmHI25VH2ZPNys0kgf3TSjcnc1pij0gSuq50SyoA/uf+ZuyZoePC9DB4qzOvw/91iLcPrO9X/nHRhV4PkqMNm9qEgfybctX1wzpUegX8agtlAPZLV6IKebKuztCng7tTuXK25xY+70hwioPYmrdJ37kqr4x+swBFjC/Kq3Hyf6vpdGXhWQq3l14Oj4nl6enV0oF9P3wgMvhNK/4LaMaV7pJ340s03dRV1Jah22uPZ1fidFzrqoAJlxQTaccZ8Fm97uLk+jztwiNEZ1rD9rzkRzmOhiZ+7KKXUMt5UI3rkWu2Pq/0xaCp9KNflMfYIuzcNyn5RjnU8AZBcLz9jxx9Lz8a9v7uzZVpUl25L4IrAmj+MmeLIDMmpvmzU3CpIAz4ejWlgJbzyeZXHun0ps0IdQM=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1660096744

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

