From f298c536f8ba60c3f05d5321d41079644ac72aa1 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Tue, 12 Nov 2024 18:17:00 +0100 Subject: [PATCH] Update owi.opam.template Co-authored-by: filipeom <33165733+filipeom@users.noreply.github.com> --- owi.opam.template | 1 + 1 file changed, 1 insertion(+) diff --git a/owi.opam.template b/owi.opam.template index e4aebd6c..9b86583d 100644 --- 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"] ]