Bump version to 0.8.5.1. 0.8.5.1 binary-0.8.5.1-release
-rw-r--r-- 175 .gitignore
-rw-r--r-- 70 .hgignore
-rw-r--r-- 2219 .travis.yml
-rw-r--r-- 1459 LICENSE
-rw-r--r-- 2865 README.md
-rwxr-xr-x 76 Setup.lhs
drwxr-xr-x - benchmarks
-rw-r--r-- 5924 binary.cabal
-rw-r--r-- 5005 changelog.md
drwxr-xr-x - docs
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - tools