owi icon indicating copy to clipboard operation
owi copied to clipboard
verified publisher icon OCamlPro

add an opam post-install message

Open redianthus opened this issue 11 months ago • 2 comments

We could:

  • suggest to install a solver;
  • point to the zulip and tutorials.

redianthus avatar Jan 28 '25 10:01 redianthus

@zapashcanon, I'm interseted, could you kindly assign me this task.

kachida avatar Mar 31 '25 13:03 kachida

Feel free to pick-it up and to open a PR.

redianthus avatar Mar 31 '25 13:03 redianthus

@zapashcanon , raised PR# , can you pls review it - https://github.com/OCamlPro/owi/pull/725

kachida avatar Jul 02 '25 15:07 kachida