/

Author 2022-02-11gnu: coq: Update to 8.15.0....* gnu/packages/coq.scm (coq): Update to 8.15.0. (coq-equations): Update to 1.3-8.15. * gnu/packages/patches/coq-fix-envvars.patch: Adapt to new version. Julien Lepiller