Skip to content
Snippets Groups Projects
Commit 9957210f authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[opam] ivette post-install message

parent 93425c45
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
opam/opam
+ 1
− 0
View file @ 9957210f
...@@ -139,5 +139,6 @@ depopts: [ ...@@ -139,5 +139,6 @@ depopts: [
] ]
post-messages: [ post-messages: [
"Ivette finalization: run ivette once with a network connection"
"Why3 provers setup: rm -f ~/.why3.conf ; why3 config detect" "Why3 provers setup: rm -f ~/.why3.conf ; why3 config detect"
] ]
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment