Closed yongrenjie closed 9 months ago
Relevant bits of opam:
Cmd.info docs: https://erratique.ch/software/cmdliner/doc/Cmdliner/Cmd/index.html#val-info
Still not entirely clear how they automatically get the version number without hardcoding it in.
I can't recall if we ever had this; but the feature doesn't exist, and I feel like now with Homebrew releases etc. we probably do :)