Spracherkennung für: .nix vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{ ocamlPackages }:
{
buildInputs = with ocamlPackages; [ ocaml findlib menhir ];
configure = "./configure -ignore-coq-version x86_64-linux";
make = "make all check-proof";
}
[ Dauer der Verarbeitung: 0.24 Sekunden
]
