Spracherkennung für: .nix vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{ coq, unicoq }:
{
buildInputs = with coq.ocamlPackages; [ ocaml findlib camlp5 ];
coqBuildInputs = [ unicoq ];
configure = "./configure.sh";
}
[ Dauer der Verarbeitung: 0.29 Sekunden
]
