Sync jocaml 4.01.0-3 (universe) from Debian unstable (main)

Please sync jocaml 4.01.0-3 (universe) from Debian unstable (main)

Explanation of the Ubuntu delta and why it can be dropped:
  - Snag the 0001-Pass-no-relax-to-ld-on-alpha.patch from ocaml to match
    ocaml's linker behaviour with regard to --hash-style=both
    --no-copy-dt-needed-entries --as-needed switches.
  Rebuild for ocaml-4.01.
Fixed in debian

Changelog entries since current vivid version 3.12.1-1ubuntu2:

jocaml (4.01.0-3) unstable; urgency=medium

  * Import OCaml's patches in reverse order to apply them in the correct
    order (Closes: #749863).

 -- Mehdi Dogguy <email address hidden> Sun, 01 Jun 2014 16:38:01 +0200

jocaml (4.01.0-2) unstable; urgency=medium

  * Fix quilt call so that all patches are applied.

 -- Mehdi Dogguy <email address hidden> Fri, 09 May 2014 01:23:10 +0200

jocaml (4.01.0-1) unstable; urgency=medium

  * New upstream release (Closes: #731399).
    - Remove 0002-Add-option-v-to-expunge-to-select-modules-to-filter-.patch
      (applied upstream).
    - Refresh remaining patch which removes Otyp_proc in order to have
      an outcometree.mli compatible with OCaml's.
  * Keep only JoCaml specific patches, and import OCaml patches from
    ocaml-source package. This lets jocaml package benefit from work
    done on the ocaml package, automatically.
  * Update jocaml.install.in, since some files moved around and are now
    under compiler-libs directory.
  * Make jocaml depend on ocaml-compiler-libs.

 -- Mehdi Dogguy <email address hidden> Fri, 09 May 2014 00:03:20 +0200