diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f8dd9cdf75133abc7d5e6c40850f8f6b7b0a0bf4..76cda410ab8bcc286b5fd090438aad7429e0414b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,12 @@ build-coq.dev:
     OPAM_PINS: "coq version dev"
     CI_COQCHK: "1"
 
+build-coq.8.11.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.11.dev"
+    CI_COQCHK: "1"
+
 build-coq.8.10.1:
   <<: *template
   variables:
diff --git a/opam b/opam
index 668709e3e4f725804e0cf3731aed78e849e3df66..4d03209501468e6e7d3deb1d7862ea55d56b2d83 100644
--- a/opam
+++ b/opam
@@ -12,5 +12,5 @@ install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris"]
 depends: [
   "coq" { (= "8.8.2") | (>= "8.9.1" & < "8.12~") | (= "dev") }
-  "coq-stdpp" { (= "dev.2019-11-07.0.37e95a04") | (= "dev") }
+  "coq-stdpp" { (= "dev.2019-11-22.2.16eb222f") | (= "dev") }
 ]