From 9957210fa8f761f3d10c2a2f2679c61a7c446f29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 10 Oct 2022 17:59:33 +0200
Subject: [PATCH] [opam] ivette post-install message

---
 opam/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/opam/opam b/opam/opam
index 292d0927074..6b2f7a96d21 100644
--- a/opam/opam
+++ b/opam/opam
@@ -139,5 +139,6 @@ depopts: [
 ]
 
 post-messages: [
+  "Ivette finalization: run ivette once with a network connection"
   "Why3 provers setup: rm -f ~/.why3.conf ; why3 config detect"
 ]
-- 
GitLab