Deprecate the ghc-pkg --auto-ghci-libs flag
[ghc-hetmet.git] / utils / fingerprint /
drwxr-xr-x   ..
-rwxr-xr-x 7581 fingerprint.py