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.18 Sekunden, vorverarbeitet 2026-06-17]
