Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Error: The section Baz, module type Bar and module Foo need to be closed.
coqc exited with code 1
[ Dauer der Verarbeitung: 0.23 Sekunden
]
