| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/dev/ci/platform/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 197 B |
|
Impressum coq-pf-01-sysinfo.bat Sprache: BAT |
|||||||||||||||
|
REM Print some debug information ECHO "Root folders" DIR C:\ ECHO "Powershell version" powershell -Command "Get-Host" ECHO "Git installation of Mingw" DIR "C:\Program Files\Git\mingw64\bin\*.exe"
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.12Bemerkung: (vorverarbeitet am 2026-10-11) ¤*Bot Zugriff |
|
||||||||||||||
2026-10-11