From 871c517429c270a675a864bca7f4981a3a4cc84a Mon Sep 17 00:00:00 2001 From: Maxime Buyse Date: Mon, 27 Jan 2025 09:27:24 +0100 Subject: [PATCH] Fix opam file for ocamlgraph pin. --- engine/hax-engine.opam | 4 ++-- engine/hax-engine.opam.template | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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"] +]