From 70c94f9f7b716759b74d046ee625a5531fba2a94 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Tue, 12 Nov 2024 17:04:11 +0100 Subject: [PATCH] pin alt-ergo --- owi.opam | 1 + owi.opam.template | 1 + 2 files changed, 2 insertions(+) diff --git a/owi.opam b/owi.opam index 4196a9672..606f1a620 100644 --- 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 index 7cde49408..e4aebd6c0 100644 --- 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"] ]