Closed edwintorok closed 1 year ago
git:// URLs don't work on GitHub since 2022. Use dune to generate the opam file: this also fixes the URL.
dune
opam
Thank you. So far I was always too lazy to put the information into Dune when I already have a spam file.
git:// URLs don't work on GitHub since 2022. Use
dune
to generate theopam
file: this also fixes the URL.