I’ve been trying to install all the dependencies under proverbot9001 and discovered that some packages do none additive updates to opam – or so it seems (e.g. coq-cheerios, verdi, metalib).
Is it true that opam allows non additive uploads to the official OPAM repository of packages/projects?
other related links:
- trying to make a stable reproducible install: ocaml - How does one pin/freeze a version of the dependencies of an opam project/package and then install the project with such specified dependencies? - Stack Overflow & How does one pin/freeze a version of the dependencies of an opam project/package and then install the project with such specified dependencies?
- discussion with octachron ocaml - How does one pin/freeze a version of the dependencies of an opam project/package and then install the project with such specified dependencies? - Stack Overflow
- trying to confirm if this is really true: is it true that cheerios is overwriting the previous versions itself on the official OPAM repository? · Issue #19 · uwplse/cheerios · GitHub