Spracherkennung für: .nix vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{ 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}";
})
[ Dauer der Verarbeitung: 0.30 Sekunden
]
