diff --git a/CHANGELOG.md b/CHANGELOG.md
index c8ed0200..6073b0d6 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # CHANGES
 
+## 0.8.3
+
+- support containers 3.0
+
 ## 0.8.2
 
 - fix opam file
diff --git a/msat-bin.opam b/msat-bin.opam
index 0dd5a5be..a1224fc5 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.2"
+version: "0.8.3"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
@@ -13,7 +13,7 @@ depends: [
   "ocaml" { >= "4.03" }
   "dune" { >= "1.1" }
   "msat" { = version }
-  "containers" { >= "2.8.1" }
+  "containers" { >= "2.8.1" & < "4.0" }
   "camlzip"
 ]
 tags: [ "sat" ]
diff --git a/msat.opam b/msat.opam
index 630e9bdf..b3d1bd80 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.2"
+version: "0.8.3"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [