Spracherkennung für: .template vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
build: [
[ "dune" "exec" "-p" name "-j" jobs "test-suite/tools/coq_config_to_make.exe" "rocq" "test-suite/test_suite_config.inc" ]
[ make "-C" "test-suite" "-j" jobs "TIMED=1" "ROCQ_EXE=rocq" ]
]
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-05]
