File not deleted:    "docs/users_guide/ghc_config.pyc"
File not deleted:    "libraries/directory/HsDirectoryConfig.h"
File not deleted:    "libraries/time/lib/include/HsTimeConfig.h"
File not deleted:    "utils/haddock/doc/.build-html"
File not deleted:    "utils/haddock/doc/.build-html/.buildinfo"
File not deleted:    "utils/haddock/doc/.build-html/.doctrees"
File not deleted:    "utils/haddock/doc/.build-html/.doctrees/environment.pickle"
File not deleted:    "utils/haddock/doc/.build-html/.doctrees/index.doctree"
File not deleted:    "utils/haddock/doc/.build-html/.doctrees/intro.doctree"
File not deleted:    "utils/haddock/doc/.build-html/.doctrees/invoking.doctree"
File not deleted:    "utils/haddock/doc/.build-html/.doctrees/markup.doctree"
File not deleted:    "utils/haddock/doc/.build-html/_sources"
File not deleted:    "utils/haddock/doc/.build-html/_sources/index.txt"
File not deleted:    "utils/haddock/doc/.build-html/_sources/intro.txt"
File not deleted:    "utils/haddock/doc/.build-html/_sources/invoking.txt"
File not deleted:    "utils/haddock/doc/.build-html/_sources/markup.txt"
File not deleted:    "utils/haddock/doc/.build-html/_static"
File not deleted:    "utils/haddock/doc/.build-html/_static/ajax-loader.gif"
File not deleted:    "utils/haddock/doc/.build-html/_static/alabaster.css"
File not deleted:    "utils/haddock/doc/.build-html/_static/basic.css"
File not deleted:    "utils/haddock/doc/.build-html/_static/comment-bright.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/comment-close.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/comment.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/doctools.js"
File not deleted:    "utils/haddock/doc/.build-html/_static/down-pressed.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/down.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/file.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/jquery-1.11.1.js"
File not deleted:    "utils/haddock/doc/.build-html/_static/jquery.js"
File not deleted:    "utils/haddock/doc/.build-html/_static/minus.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/plus.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/pygments.css"
File not deleted:    "utils/haddock/doc/.build-html/_static/searchtools.js"
File not deleted:    "utils/haddock/doc/.build-html/_static/underscore-1.3.1.js"
File not deleted:    "utils/haddock/doc/.build-html/_static/underscore.js"
File not deleted:    "utils/haddock/doc/.build-html/_static/up-pressed.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/up.png"
File not deleted:    "utils/haddock/doc/.build-html/_static/websupport.js"
File not deleted:    "utils/haddock/doc/.build-html/genindex.html"
File not deleted:    "utils/haddock/doc/.build-html/index.html"
File not deleted:    "utils/haddock/doc/.build-html/intro.html"
File not deleted:    "utils/haddock/doc/.build-html/invoking.html"
File not deleted:    "utils/haddock/doc/.build-html/markup.html"
File not deleted:    "utils/haddock/doc/.build-html/objects.inv"
File not deleted:    "utils/haddock/doc/.build-html/search.html"
File not deleted:    "utils/haddock/doc/.build-html/searchindex.js"
File not deleted:    "utils/haddock/doc/haddock"
File not deleted:    "utils/haddock/doc/haddock/.buildinfo"
File not deleted:    "utils/haddock/doc/haddock/.doctrees"
File not deleted:    "utils/haddock/doc/haddock/.doctrees/environment.pickle"
File not deleted:    "utils/haddock/doc/haddock/.doctrees/index.doctree"
File not deleted:    "utils/haddock/doc/haddock/.doctrees/intro.doctree"
File not deleted:    "utils/haddock/doc/haddock/.doctrees/invoking.doctree"
File not deleted:    "utils/haddock/doc/haddock/.doctrees/markup.doctree"
File not deleted:    "utils/haddock/doc/haddock/_sources"
File not deleted:    "utils/haddock/doc/haddock/_sources/index.txt"
File not deleted:    "utils/haddock/doc/haddock/_sources/intro.txt"
File not deleted:    "utils/haddock/doc/haddock/_sources/invoking.txt"
File not deleted:    "utils/haddock/doc/haddock/_sources/markup.txt"
File not deleted:    "utils/haddock/doc/haddock/_static"
File not deleted:    "utils/haddock/doc/haddock/_static/ajax-loader.gif"
File not deleted:    "utils/haddock/doc/haddock/_static/alabaster.css"
File not deleted:    "utils/haddock/doc/haddock/_static/basic.css"
File not deleted:    "utils/haddock/doc/haddock/_static/comment-bright.png"
File not deleted:    "utils/haddock/doc/haddock/_static/comment-close.png"
File not deleted:    "utils/haddock/doc/haddock/_static/comment.png"
File not deleted:    "utils/haddock/doc/haddock/_static/doctools.js"
File not deleted:    "utils/haddock/doc/haddock/_static/down-pressed.png"
File not deleted:    "utils/haddock/doc/haddock/_static/down.png"
File not deleted:    "utils/haddock/doc/haddock/_static/file.png"
File not deleted:    "utils/haddock/doc/haddock/_static/jquery-1.11.1.js"
File not deleted:    "utils/haddock/doc/haddock/_static/jquery.js"
File not deleted:    "utils/haddock/doc/haddock/_static/minus.png"
File not deleted:    "utils/haddock/doc/haddock/_static/plus.png"
File not deleted:    "utils/haddock/doc/haddock/_static/pygments.css"
File not deleted:    "utils/haddock/doc/haddock/_static/searchtools.js"
File not deleted:    "utils/haddock/doc/haddock/_static/underscore-1.3.1.js"
File not deleted:    "utils/haddock/doc/haddock/_static/underscore.js"
File not deleted:    "utils/haddock/doc/haddock/_static/up-pressed.png"
File not deleted:    "utils/haddock/doc/haddock/_static/up.png"
File not deleted:    "utils/haddock/doc/haddock/_static/websupport.js"
File not deleted:    "utils/haddock/doc/haddock/genindex.html"
File not deleted:    "utils/haddock/doc/haddock/index.html"
File not deleted:    "utils/haddock/doc/haddock/intro.html"
File not deleted:    "utils/haddock/doc/haddock/invoking.html"
File not deleted:    "utils/haddock/doc/haddock/markup.html"
File not deleted:    "utils/haddock/doc/haddock/objects.inv"
File not deleted:    "utils/haddock/doc/haddock/search.html"
File not deleted:    "utils/haddock/doc/haddock/searchindex.js"