%FILENAME%
coq-doc-8.16.1-1-aarch64.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%
7697412

%ISIZE%
105080801

%MD5SUM%
e17ddfd0d3824642f637472c899b4086

%SHA256SUM%
f2399ed76a7768c2e199526a95f18aca8fb97c9898a4774338273206d0776431

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOPVS8ACgkQdxk/FSvb5qbvYBAAkHwKuxXlchJ+adrtNw8Zrml1nX+9Aoobk6WqdOcN+EHcSPPLgA2cNA2Eib+4Xr1Ixf5yI4Nyh8bjUOiqBmZCzeudqhg5XbJEq1oJaBKH4QS648UGNsvviAKj9PU2l+MYjYdnjt0nnrWCOSDBft2EYoVOjDhV3CykgJucSarABMUQUvslrWAnzn9F+3yVVHe2cxAvMpFqp/u/d9ISmy2zh1rUPMgcHgnJwxmDhdESo6FPffiUJzv0sch0dwruE5g1t2Ea16pHe+rULE+vra5hEA9gSPu8c8QV/4XTjJXfdUgPAB2m2q63L4MXhqjHDHwskk217FXlswF3jCNkYv7EZS29al8K27Iw2wtj721xfhGwAxlHp5bsJXhyCFqWJlijFv7VATaoSWzlNxaCFcVDLAguAqYCIVBF1JhSEyMyRr1LOabUp6ngPnFMkoNuGa4KXo8/EDRLXpAjJBB4AJzIRKj5QU2VAc0tJGAaYh/TB5L/EyQZ9S3itBROo2msAP1siShKxGPzkqY8QpYD86VmuMl5Odn+2csqotTrwu3dPfRX6yhYXZ+ipJq6Tk1N8izSdAUwbuXSK/P1HcmxgBn1f5KUrVYw0tzQqVFnVLGSZ0dJPNolyn+e2HO4L2AAYSuDuuoyAUjLMCn5WP/yJ6wEk7IBZNU9csqoqiX4kfeGqPI=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1670335814

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

