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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.2-1

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

%GROUPS%
coq

%CSIZE%
8924892

%ISIZE%
76461056

%MD5SUM%
663a9adaef925a7bcb4bed67a317e1a7

%SHA256SUM%
88b0a568251f87f8c9f8f514a88a683f21a03e8a00012f1ac770c4c1c20db4f6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG9HcACgkQdxk/FSvb5qZaxg/+OacgpiiO1NSSxlvSvwYDR2ozmFhd+LbsDrLOTnGpmZC5B+H9Xsk6APTQjKPhtO1EqWRJggy7r+Ify2DC+h9SFsPcWXyPcpu3wXuFFpUxTx+MXekQ5Gvlrg+NKlq9/mYqzlevBRAasyWLp36fNdeFBT3dqbZhdXq/ZuzAzqWQI+wC/eaHz7OBVOuP8H6VGrfNPbyr2Dk3frf4EjPApW4UNyLNgd+BiKYFONOi9cURG2a6ij/w8S18VnuE2vCL5zjknQjOOgKyv0zZVLrZ0YgFy4OpgpEqDdbcEY/JqMBkn1shJfRTvNbQRTU058YADf7TZKpR208TsZUivOvXLcdpeFh3Dhn5QkXc66GJdDdpcAeBmUgmFQRPJBFxZ8Q8Tfs/K6mS1FS9y/Ytlf65OYm5tnNVTKWS/wj0Ocmp81rPc4HZSDkOXfun4OdYqEWwtNRPN4AM+1fGA3hAZ2wbZf2AjDW6qeQJGndzCPpQpKrbo7fbYJQYFFci0kk2A2CibiYQ8R5iG2x4/FBJ7ZnWFokTbyx/BlEQVm/754z8gun87XE1UtndeM/LVlSuiX4/V3DvOzgsKTTzxgmuH/CZPNVUOSftvfmxClJYALITP3mtdRp9VkcHXjkBxvBRGPh5EC/9TuciWgFc33X94WWp0xFwYUNl06xDXJn6/nhwJbcUXx8=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1518793808

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

