products/sources/formale Sprachen/Coq/dev/ci/nix/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: gettext.m4   Sprache: Unknown

Spracherkennung für: .nix vermutete Sprache: Scala {Scala[98] Fortran[125] CS[165]} [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.65 Sekunden  ]