Loading ...
Sorry, an error occurred while loading the content.

Topics List

Conflicting installation advice

... Just rethinking this part: why should we install the opam binary on a server public path, and all the opam packages in your own $HOME? This only makes
Aug 16

Trouble findin a library which *is* installed

... If it fails to segfault, it's probably better. And the 2 in its name does seem to suggest it's a later development. I'll be lookng at it tomorrow. --
Hendrik Boom
Jul 13
View First Topic Go to View Last Topic
Loading 1 - 2 of total 2 topics