Update owi.opam

Co-authored-by: filipeom <[email protected]>
OCamlPro · Nov 12, 2024 · 9904918 · 9904918
1 parent f298c53
commit 9904918
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/owi.opam b/owi.opam
@@ -77,4 +77,5 @@ depexts: [
 pin-depends: [
   [ "crowbar.dev" "git+https://github.com/stedolan/crowbar#1ab53fb088d56578b48301bc4cfb859331a10d78"]
   ["alt-ergo-lib.2.6.0" "git+https://github.com/OCamlPro/alt-ergo.git#7ee96296a5de9588a4d585b3b8abec35f4755425"]
+  ["alt-ergo.2.6.0" "git+https://github.com/OCamlPro/alt-ergo.git#7ee96296a5de9588a4d585b3b8abec35f4755425"]
 ]