** Summary changed: - jocaml: needs update for ocaml 4.01.0 + Sync jocaml 4.01.0-3 (universe) from Debian unstable (main)
** Description changed: - jocaml needs to be updated to ocaml 4.01.0. + 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 <me...@debian.org> 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 <me...@debian.org> 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 <me...@debian.org> Fri, 09 May 2014 00:03:20 +0200 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1263689 Title: Sync jocaml 4.01.0-3 (universe) from Debian unstable (main) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/jocaml/+bug/1263689/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
