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: hollywood.cls   Sprache: Unknown

Spracherkennung für: .nix vermutete Sprache: Text {Text[193] Haskell[197] Ada[454]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

{}:
{
  configure = "git submodule update --init --recursive";
  clean = "(cd deps/bbv && make clean); (cd deps/riscv-coq && make clean); (cd compiler && make clean); (cd bedrock2 && make clean)";
}

[ Dauer der Verarbeitung: 0.70 Sekunden  ]