Comment 2 for bug 503011

This bug was fixed in the package ocaml - 3.11.1-4ubuntu1

---------------
ocaml (3.11.1-4ubuntu1) lucid; urgency=low

  * debian/patches/0007-disable-specific-registers-for-thumb: (LP: #503011)
    - Resolve an FTBFS on armel caused by specifying specific registers for
      counters in the interpreter. This patch causes the compiler to determine
      what registers to use automatically for __thumb__ instead of hardcoding a
      specific set of registers. An upstream bug has been filed at
      http://caml.inria.fr/mantis/view.php?id=4953
 -- Michael Casadevall <email address hidden> Mon, 04 Jan 2010 10:13:29 -0500