pin alt-ergo

OCamlPro · Nov 12, 2024 · 70c94f9 · 70c94f9
1 parent 0936100
commit 70c94f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/owi.opam b/owi.opam
@@ -76,4 +76,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"]
 ]
diff --git a/owi.opam.template b/owi.opam.template
@@ -5,4 +5,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"]
 ]