Install: instruction to install latest release via opam

Open W95Psp opened this issue 1 year ago • 1 comments

Oct 09 '24 08:10 W95Psp

We should have both a "from source" and a "stable" installation instreuctions

Oct 09 '24 08:10 W95Psp

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

Dec 10 '24 02:12 github-actions[bot]

That's still something we want

Dec 16 '24 07:12 W95Psp

@W95Psp What's the state here? This is something that should go on the docs.

Jan 17 '25 18:01 franziskuskiefer

I am not sure about what we want to do here, I'm marking it as needs triage

Jan 23 '25 13:01 W95Psp

There's info on how to use it from source

Feb 06 '25 15:02 franziskuskiefer