Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
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: Confluence.thy   Sprache: Unknown

rahmenlose Ansicht.nix DruckansichtShell {Shell[93] Ada[107] Abap[170]}Entwicklung

{ autoconf, automake, ssreflect }:

{
  buildInputs = [ autoconf automake ];
  coqBuildInputs = [ ssreflect ];
  configure = "./autogen.sh && ./configure";
  make = "./remake";
  clean = "./remake clean";
}

[ Verzeichnis aufwärts0.50unsichere Verbindung  ]