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: graph_conn_defs.prf   Sprache: Lisp

Untersuchungsergebnis.nix Download desText {Text[193] Haskell[197] Ada[454]}zum Wurzelverzeichnis wechseln

{}:
{
  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)";
}

[ zur Elbe Produktseite wechseln0.74Quellennavigators  ]