Arch Linux

With the latest versions of ocaml and lablgtk2 installed, I attempted to compile a program with a Lablgtk2 GUI. Compilation failed with an "inconsistent assumptions" error. I have already rebuilt lablgtk2 from source and don't have the exact message, but this is a well-known issue: it means that Lablgtk2 was built against an earlier version of the core library. Actually, that's obvious if you look at the dates of the respective packages.

So anyway, the lablgtk2 2.6.0 package needs to be recompiled to work with ocaml 3.09.1-1.

This points to a larger issue--that OCaml library dependencies are inherently difficult to deal with in a binary package system. I'm going to open a Forum thread to try to get some suggestions about this.