[ocaml-platform] problems with ocaml-top

Eric DETREZ pc1.faidherbe at gmail.com
Sun Sep 25 09:17:26 BST 2016


I tried to install ocaml-top (I use debian jessie)
When I launch it from terminal : /home/ericd13/.opam/system/bin
i get a lot of warnings (deprecated pp_open_tbox tabulation boxes are not
suported anymore)
The console gets a message :
(ocaml-top:28826): GLib-CRITICAL **: Source ID 2108 was not found when
attempting to remove it

But Ocaml is version 4.03.0 (the one OPAM installed)

If I launch it from thunar it's version 4.01.0

Eric Détrez
Math PC*
Option Info MP*
Python PCSI
Lycée Faidherbe, Lille
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/platform/attachments/20160925/f4bb0d14/attachment.html>

More information about the Platform mailing list