Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
stdenv: check if this fixes laziness issue
``` error: cannot coerce null to a string at /var/lib/ofborg/checkout/repo/38dca4e3aa6bca43ea96d2fcc04e8229/mr-est/ofborg-evaluator-3/pkgs/development/coq-modules/coq-lsp/default.nix:34:60: 33| homepage = "https://github.com/ejgallego/coq-lsp"; 34| changelog = "https://github.com/ejgallego/coq-lsp/blob/${defaultVersion}/CHANGES.md"; ```
- Loading branch information