in fact this bug is fixed in upstream version 0.15.0 (available on ftp://quatramaran.ens.fr/pub/ara/ocamldsort/ocamldsort-0.15.0.tar.gz) Hence we should update the package to that version.
-Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. ttp://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
