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: cross_crypto.nix   Sprache: Unknown

Spracherkennung für: .nix vermutete Sprache: HTML {HTML[61] CS[166] C[180]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

{}:
{
  configure = "git submodule update --init --recursive";
  clean = "make cleanall";
}

[ Dauer der Verarbeitung: 0.40 Sekunden  ]