diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8c6e5267..49a40c29 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,17 @@
 # CHANGES
 
+## 0.8.1
+
+- fixes in `Heap`
+- package for `msat-bin`
+- use `iter` instead of `sequence` in dune and opam files
+- more docs
+
+## 0.8
+
+big refactoring, change of API with fewer functions, etc.
+see `git log` for more details.
+
 ## 0.6.1
 
 - add simple functor for DOT backend
diff --git a/README.md b/README.md
index c741988b..8cf81dcc 100644
--- a/README.md
+++ b/README.md
@@ -156,7 +156,7 @@ It's able to parse sudoku grids denoted as 81 integers
 
 Here is a sample grid and the output from the solver (in roughly .5s):
 
-```sh
+```sh non-deterministic=command
 $ echo '..............3.85..1.2.......5.7.....4...1...9.......5......73..2.1........4...9' > sudoku.txt
 $ dune exec src/sudoku/sudoku_solve.exe -- sudoku.txt
 ...
diff --git a/dune b/dune
index 78c4bdf2..ed665db4 100644
--- a/dune
+++ b/dune
@@ -1,8 +1,7 @@
 
 (alias
  (name runtest)
- (package msat)
- (deps README.md src/core/msat.cma src/sat/msat_sat.cma src/sudoku/sudoku_solve.exe)
+ (deps README.md src/core/msat.cma src/sat/msat_sat.cma (source_tree src))
  (locks test)
  (action (progn
           (run mdx test README.md)
diff --git a/msat-bin.opam b/msat-bin.opam
index fd79290d..6b347ca2 100644
--- a/msat-bin.opam
+++ b/msat-bin.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "msat-bin"
 synopsis: "SAT solver binary based on the msat library"
 license: "Apache"
-version: "0.8"
+version: "0.8.1"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
@@ -11,8 +11,9 @@ build: [
 ]
 depends: [
   "ocaml" { >= "4.03" }
-  "dune" {build}
-  "msat" { >= "0.8" < "0.9" }
+  "dune" { >= "1.1" }
+  "msat" { = version }
+  "containers" { >= "2.0" }
   "camlzip"
 ]
 tags: [ "sat" ]
diff --git a/msat.opam b/msat.opam
index 6f63c67d..5c1118b8 100644
--- a/msat.opam
+++ b/msat.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "msat"
 synopsis: "Library containing a SAT solver that can be parametrized by a theory"
 license: "Apache"
-version: "0.8"
+version: "0.8.1"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
@@ -12,7 +12,7 @@ build: [
 ]
 depends: [
   "ocaml" { >= "4.03" }
-  "dune" {build}
+  "dune" { >= "1.1" }
   "iter" { >= "1.2" }
   "containers" {with-test}
   "mdx" {with-test}