Marcello Seri

Results 435 comments of Marcello Seri

I am not aware of it being packaged. One should ask Oleg Kiselyov if that is all right and then could probably be done.

The fix has been sitting in a PR fo 3 years already: https://github.com/manu291/dypgen/pull/2 If the maintainer is unresponsive we could consider a -1 patch release in the meantime. Let’s wait...

@kit-ty-kate sorry to bother, but you had a lot of experience with llvm/clang packages. Could you by chance have a look?

@pjlast this is waiting for some very small changes Given the lack of activity I am going to close this, but please feel free to reopen it or submit a...

Same for mccs 1.1+10 and 1.1+11, see https://github.com/ocaml/opam-repository/pull/24790

We can look here which versions are affected: https://check.ci.ocaml.org/

Seems like the CI was broken: https://github.com/ocaml/infrastructure/issues/143

The CI has some issues these days, so I cannot yet see the revdeps failures. I'd like to add upper bounds where needed before merging. Nothing needs to be done...