Andreas Hauptmann

Sorry, this repository is not intended to work with dra27's fork at the moment. If it works for 64-bit cygwin, it's just luck. The provided opam binaries (linked at https://github.com/fdopen/opam-repository-mingw/blob/master/README.md...

It's awkward to test and to push upstream. In order to be useful, you have to make sure that dra27's fork and upstream opam-depext will support it. And you have...

You can just install the latest version of dune from the [normal upstream repository](https://github.com/ocaml/opam-repository). If a package uses dune, the package description in this repo and the upstream repo are...

This way there would problems with packages that are in the main repo, but not yet in this repo: If foobar.1.2.3 requires patching and the main repo adds foobar.1.2.4, the...

The current behavior was deliberately chosen. The output of `opam config env --safe` is intended to be used inside (unix) shell scripts. Therefore some environment variables like PATH (see https://cygwin.com/cygwin-ug-net/setup-env.html...

I've now played around with `user-setup` ( ca6263d0c904b06399ed4765965278b026a8f0db and 37ea05de21a4a86d00d0f0bb6bae3b678252389f ) and at least temporary added a `--cygwin` switch to `opam env --sexp`. I'm not longer convinced, that such a...

The repo is probably most commonly used within CIs. OCaml isn't usually compiled from source, but a binary version is fetched to speed it up. Normally, the compiler would only...

> env -u OCAMLLIB could do the tricks Yes, it should work during the compilation of `ocaml-secondary-compiler`. But what if the compiler is used later? Wouldn't it pick up OCAMLLIB...

Previous versions of coqide stopped working with [lablgtk3.3.0.beta7 and later](https://github.com/fdopen/opam-repository-mingw/blob/3f493b8909ae32e52cb6cd1b4673365a217ef4f8/packages/coqide/coqide.8.11.2/opam#L43). This looks like the same issue. Did you examine the differences between these version of lablgtk3? Perhaps it's not related...