%FILENAME%
coq-doc-8.13.2-2-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.13.2-2

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

%GROUPS%
coq

%CSIZE%
14306184

%ISIZE%
117554990

%MD5SUM%
bbf76ed7116c132f1d8fe3832f4675dd

%SHA256SUM%
aff8d2be9d97cc60c66145dee6b6ee9fbcc94a44ade89c597bf3230d52d9d42b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmEAwnAACgkQdxk/FSvb5qaScxAAgU2ncRrk3vftkLq0EcM+f8ZH6GbQ0xSboZIyBeSxbht5RCOgpWtx3liLaf4uW/kF4zF97UnZgqWUcnjr7ygjnuMmuvQtZt3JsXdviNbIPyMgDwq579XiSByn3BFCqHZVQ525J5ivKBdFNZCJkze8BFL83Ehy3Nx+GAYUAj7n0JqzzYECvQaJBumwhQCby7slf0Opq3DNkko3UBJerxU59NZejoEPkMRHqUznblYg3/Tk1jRkChxnodQwP59PSaTAd5GlmB7RSrhH4dl9aMG5tbU3I6HA3IlfFAZx+RQJriXHnyB7WS4VB/ogr4qrgHKirWq1h7mmEaGTCJHdm9EtfbqsbsfaswO5pmDAkayG+ff/Ggl7ZI5RDJDRFze2hXNt+bdwn+/CNX6UvKKr/EnQCzDms0BPTJXnX4uO4iBH3frhnpiOWUUH5FbB9yC8dkETYKO9swYtlEpiGsHeeB8mstU7t0hnbmLWr6MJR3BBb9X4pBjNbXWL3z1pBBsYtpUDqmo2YEsswUuvxNHSIDdmRKeVCwUoLndSPLHayPjnkhnPTnyvByJsyKqU8fw3ewzoU3QzhpFIvj2mlopz5LHsRa/NGNSv8X74lx6ZF2343/qUmqzjXxyvf8M3YtMoZrFx0FMSDseqt7AstK2Fx55xB/WQjLsU8kJG2Kzu7Kz417I=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1627437863

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

