dev/ci/nix/coq.nix


1
2
3
4
5
6
7
8

{ stdenv, callPackage, branch, wd }:

let coq = callPackage wd { buildDoc = false; doInstallCheck = false; coq-version = "8.9"; }; in

coq.overrideAttrs (o: {
  name = "coq-local-${branch}";
  src = fetchGit "${wd}";
})