diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e3e5bfe6148..92899a23068 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,7 +4,7 @@ on: [ push , pull_request ]
 
 # We set the supported coq-version from here. In order to use this environment variable correctly, look at how they are used in the following jobs.
 env:
-  coq-version-supported: '8.13'
+  coq-version-supported: '8.14'
   ocaml-version: '4.11-flambda'
   deployment-branch: 'gh-pages'
 
diff --git a/.gitmodules b/.gitmodules
index c724cde6125..4dbb46fade5 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7,8 +7,7 @@
 	url = https://github.com/JasonGross/coq-scripts.git
 [submodule "etc/coq-dpdgraph"]
 	path = etc/coq-dpdgraph
-	url = https://github.com/andreaslyn/coq-dpdgraph.git
-	branch = hott
+	url = https://github.com/coq-community/coq-dpdgraph.git
 [submodule "etc/alectryon"]
 	path = etc/alectryon
 	url = https://github.com/JasonGross/alectryon.git
diff --git a/coq-HoTT b/coq-HoTT
index 5f99fa0c23b..33df5f8d5b3 160000
--- a/coq-HoTT
+++ b/coq-HoTT
@@ -1 +1 @@
-Subproject commit 5f99fa0c23b54ca42b7d5b1e8974cb25280bda07
+Subproject commit 33df5f8d5b3b37b1f2cb0542443f57028ff0189f
diff --git a/etc/coq-dpdgraph b/etc/coq-dpdgraph
index f04cd161f2e..1f71f971290 160000
--- a/etc/coq-dpdgraph
+++ b/etc/coq-dpdgraph
@@ -1 +1 @@
-Subproject commit f04cd161f2ef3cf2b4d8dec6fd95689874e4b471
+Subproject commit 1f71f97129001620a31982aac94c33c7faf99023
diff --git a/hott.opam b/hott.opam
index 3c7286baf9d..9dfb10707b6 100644
--- a/hott.opam
+++ b/hott.opam
@@ -8,7 +8,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.13~"}
+  "coq" {>= "8.14~"}
 ]
 authors: ["The HoTT Library Development Team"]
 dev-repo: "git+https://github.com/HoTT/HoTT.git"