From c58e607ac3e35c43b52908f306a902c477d5c2ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 8 Apr 2024 14:45:27 +0200
Subject: [PATCH] Fixes opam message for Ivette.
---
opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/opam b/opam
index af2c86a95c4..15be71d45c2 100644
--- a/opam
+++ b/opam
@@ -182,8 +182,8 @@ Use 'why3 config detect' to configure new provers.
"Ivette is a new GUI for Frama-C, currently in development.
Run 'ivette' once to finalize installation (requires an internet connection).
Once finalized, 'ivette' will work offline.
-Finalization also requires Node v16 and Yarn:
+Finalization also requires Node v20 and Yarn:
- install NVM (https://github.com/nvm-sh/nvm)
-- run 'nvm use 16'
+- run 'nvm use 20'
- run 'npm install --global yarn'" { success }
]
--
GitLab