From 7e2901f85ddcd9bb28c4b7b7549677c8380529d1 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 4 Dec 2019 14:47:03 +0100
Subject: [PATCH] [opam] fix warning
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 7db8104cae1..ba38988466d 100644
--- a/opam/opam
+++ b/opam/opam
@@ -128,5 +128,5 @@ messages: [
{alt-ergo:installed}
"The Frama-C/Wp native support for Coq is now deprecated (use TIP or Why-3 instead)."
{coq:installed}
- "WARNING: There is a known issue with OCaml 4.05.0 and ocamlfind 1.8.1 (https://github.com/ocaml/opam-repository/issues/10925) when upgrading from a previous ocamlfind. If the compilation of Frama-C fails, try downgrading ocamlfind to 1.8.0 or upgrading OCaml to > 4.05.0." { ocaml:version = "4.05.0" & ocamlfind:version = "1.8.0" }
+ "WARNING: There is a known issue with OCaml 4.05.0 and ocamlfind 1.8.1 (https://github.com/ocaml/opam-repository/issues/10925) when upgrading from a previous ocamlfind. If the compilation of Frama-C fails, try downgrading ocamlfind to 1.8.0 or upgrading OCaml to > 4.05.0." { ocaml:version = "4.05.0" & ocamlfind:version = "1.8.1" }
]
--
GitLab