Spracherkennung für: .template vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
build: [
["dune" "subst"] {dev}
# We tell dunestrap to use coq-config from rocq-runtime
[ make "dunestrap" "COQ_SPLIT=1" "DUNESTRAPOPT=-p rocq-core"]
[
"dune"
"build"
"-p"
name
"-j"
jobs
"--promote-install-files=false"
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
["dune" "install" "-p" name "--create-install-files" name]
]
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-05]
