Closed patrick-nicodemus closed 2 months ago
I added some dependencies that weren't explicitly listed in the dune files. I think these problems have already fixed in later dune versions but I wanted to backport them to 4.14.
Hi @patrick-nicodemus , thanks for your contribution. I cherry-picked it in #1837 , the 4.14 backport PR for the next release.
I added some dependencies that weren't explicitly listed in the dune files. I think these problems have already fixed in later dune versions but I wanted to backport them to 4.14.