Untersuchungsergebnis.nix Download desScala {Scala[76] Latech[142] Isabelle[178]}zum Wurzelverzeichnis wechseln
{ ocamlPackages, ssreflect, coq-ext-lib, simple-io }:
{
buildInputs = with ocamlPackages; [ ocaml findlib ocamlbuild num ];
coqBuildInputs = [ ssreflect simple-io ];
}
[ zur Elbe Produktseite wechseln0.78Quellennavigators
]
