diff --git a/engine/hax-engine.opam b/engine/hax-engine.opam
index af7aeae3e..8143bdf07 100644
--- a/engine/hax-engine.opam
+++ b/engine/hax-engine.opam
@@ -61,5 +61,5 @@ depexts: [
   ["nodejs"] {}
 ]
 pin-depends: [
-  ["ocamlgraph" "git+https://github.com/maximebuyse/ocamlgraph.git#fix-stable-topological-sort"]
-]
\ No newline at end of file
+  ["ocamlgraph.dev" "git+https://github.com/maximebuyse/ocamlgraph.git#fix-stable-topological-sort"]
+]
diff --git a/engine/hax-engine.opam.template b/engine/hax-engine.opam.template
index 593f86aaa..7eb512d76 100644
--- a/engine/hax-engine.opam.template
+++ b/engine/hax-engine.opam.template
@@ -2,5 +2,5 @@ depexts: [
   ["nodejs"] {}
 ]
 pin-depends: [
-  ["ocamlgraph" "git+https://github.com/maximebuyse/ocamlgraph.git#fix-stable-topological-sort"]
-]
\ No newline at end of file
+  ["ocamlgraph.dev" "git+https://github.com/maximebuyse/ocamlgraph.git#fix-stable-topological-sort"]
+]