Fix opam file for ocamlgraph pin.

cryspen · Jan 27, 2025 · 871c517 · 871c517
1 parent 53fa1a0
commit 871c517
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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"]
-]
+  ["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
@@ -2,5 +2,5 @@ depexts: [
   ["nodejs"] {}
 ]
 pin-depends: [
-  ["ocamlgraph" "git+https://github.com/maximebuyse/ocamlgraph.git#fix-stable-topological-sort"]
-]
+  ["ocamlgraph.dev" "git+https://github.com/maximebuyse/ocamlgraph.git#fix-stable-topological-sort"]
+]