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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.15.0-1

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

%GROUPS%
coq

%CSIZE%
12529392

%ISIZE%
115319231

%MD5SUM%
06b211a215b0bf24896878e0262887bc

%SHA256SUM%
272b739f86626cf428dd7b8dd063b6e70c3cc898708438bb77aa59d3cb3211e3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqg90ACgkQdxk/FSvb5qbl3Q/8Dcq0H6ttXz94rvQe75xlyp+RFZ3QaC35JJQofFcdwCssM6mqznudj1hMd7uzpzA8ME28FFVm6iOe7FMsT/EXbhsek42DWE0b4yv1YY2Ouak5TMDwtox4l0XTobyoFc9E1xi1rQSQtUIfgXSQPC8HNW0zFo7wqp/f4voLmx+mhCUxQ3yu7oBBMm/1DxEqO6hGFUUQ+RRFfve6d068aqkx6CwKRgsWiZ+cQeEAxRPtFdvCzaoUs4XCBbd6LK7hDtumlyMOaXHpGFwuzR6iz7zhrH4ibq+vxQl5F1XPoO/2eT2OH2BTtg8pmEUFbt1f/rWc0d8ySrZym6PLEgFTY8NN8yaurcfCfPv+P+sSkDGhaa8HQRfN+yuNFNWtWuvwc3TgLR50I4GUDMAE23AQbEjTIyfp8xCNy6nEbHoJroIgBTCa3UeUvQwFTEZ2KtRZVetZusBgO3aO8dGjMOyOEmm1jFqeLuBVFY+WePAAisvILcrMmUKyVElbKLqtL61JC9v0iXhO7aMZ7aNR8veO374FXscIdN27kWIzYZvq4pCnyBB6cDeLHiIg5Raw2Ng+qjllCKMJrqESkOrw1huF4XuF/wzfiaSaE6adnRAQKbF4AHHQKrBPp0SbH13rUpsDQu+D/9T3tHCSa1eZNiUBzn0Cb9PJKadqyig/9biLuSyqW6M=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1642756809

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

