diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
new file mode 100644
index 0000000..b37e976
--- /dev/null
+++ b/.devcontainer/Dockerfile
@@ -0,0 +1,14 @@
+FROM ocaml/opam:debian-11-ocaml-4.07-flambda
+USER opam:opam
+
+RUN opam update \
+&& opam install dune \
+&& opam repo set-url default git+https://github.com/ocaml/opam-repository.git#a870b466e17973f065269eeb760726e7bdb983d2
+
+RUN sudo apt update && sudo apt install -y \
+        libgmp-dev \
+        python2.7 \
+ && sudo apt clean \
+ && sudo rm -rf /var/lib/apt/lists/*
+
+CMD ["/bin/bash"]
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..5a848e1
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,7 @@
+{
+  "name": "Debian",
+  "build": {
+    "dockerfile": "Dockerfile"
+  },
+  "remoteUser": "opam"
+}
\ No newline at end of file
diff --git a/coeus.opam b/coeus.opam
index de9845a..05108a5 100644
--- a/coeus.opam
+++ b/coeus.opam
@@ -13,7 +13,7 @@ depends: [
   "cmdliner" {>="1.0.0"}
   "fmt" {="0.8.5"}
   "logs" {>="0.6.2"}
-  "core" {="v0.11.2"}
+  "core" {="v0.11.3"}
   "re2" {= "v0.11.0"}
   "ocamlgraph" {>="1.8.8"}
   "bignum" {="v0.11.0"}