Closed smuenzel closed 5 months ago
This PR updates the dependency information in the opam file using the latest versions of the packages not mentioned, and fixes the build.
Ah based on the check I'm still missing dependencies?
Fixed, thanks !
This PR updates the dependency information in the opam file using the latest versions of the packages not mentioned, and fixes the build.