Skip to content

Commit 7f9775c

Browse files
committed
Add message in case of error
1 parent 41bf660 commit 7f9775c

File tree

1 file changed

+2
-1
lines changed
  • packages/conf-flint/conf-flint.3.0

1 file changed

+2
-1
lines changed

packages/conf-flint/conf-flint.3.0/opam

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,8 @@ depexts: [
3333
]
3434
synopsis: "Virtual package relying on a Flint lib system installation"
3535
description:
36-
"This package can only install if the Flint lib is installed on the system."
36+
"This package can only install if the Flint lib version 3 is installed on the system."
37+
post-messages: "You can try to install conf-flint.1 which works with version 2 of the library" { failure }
3738
authors: ["William Hart" "Sebastian Pancratz" "Andy Novocin" "Fredrik Johansson"
3839
"Tom Bachmann" "Mike Hansen" "Daniel Schultz"]
3940
flags: conf

0 commit comments

Comments
 (0)