Update owi.opam.template

Co-authored-by: filipeom <[email protected]>
OCamlPro · Nov 12, 2024 · f298c53 · f298c53
1 parent 70c94f9
commit f298c53
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/owi.opam.template b/owi.opam.template
@@ -6,4 +6,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"]
 ]