summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/coq-fix-envvars.patch
AgeCommit message (Expand)Author
2022-02-11gnu: coq: Update to 8.15.0.Julien Lepiller
2021-11-30gnu: coq: Update to 8.14.0.Julien Lepiller
generated by cgit v1.2.3 (git 2.45.2) at 2025-03-24 02:32:49 +0000