Untersuchungsergebnis.nix Download desScala {Scala[98] Fortran[125] CS[165]}zum Wurzelverzeichnis wechseln
{ 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}";
})
[ zur Elbe Produktseite wechseln0.68Quellennavigators
]
