No package karamel on opam
anishathalye opened this issue · 6 comments
The install instructions currently refer to "karamel" on opam.
Looks like the kremlin -> karamel renaming didn't include an update to the package name on opam (https://opam.ocaml.org/packages/kremlin/ exists, https://opam.ocaml.org/packages/karamel/ does not).
Maybe @victor-dumitrescu knows how to handle this? He's our local resident OPAM expert :-)
This should be pretty straightforward to fix. We could open a PR on https://github.com/ocaml/opam-repository to do one of these things:
- rename the most recent version of the package
- rename both of them
- publish a new package with the new name, if it's important to preserved the old ones
Will this guarantee that when people run "opam upgrade" they'll be switched from kremlin to karamel?
Ah, no, this would basically be publishing a new package. I'm not sure there is any way in opam to specify that a new package is a renaming of an old one.
Actually seems there is a way: https://opam.ocaml.org/doc/Tricks.html#How-to-rename-a-package