Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified errors;
  2. more robust: explicit version;
Changeset 69160:30c384e72749 by wenzelm:
clarified errors;
The file was modified lib/Tools/ghc (diff)
The file was modified lib/Tools/ghci (diff)
Changeset 69159:7ff6284c0d84 by wenzelm:
more robust: explicit version;
The file was modified lib/Tools/ghc_setup (diff)