Publishing details

• Published on 2018-03-16
• Copied from ubuntu precise in Coq backports by Jason Gross

Changelog

ocaml (4.02.3-6ubuntu2~ubuntu12.04.1~ppa1) precise; urgency=medium

  * No-change backport to precise

ocaml (4.02.3-6ubuntu2) yakkety; urgency=medium

  * Build with -fPIC on amd64.

ocaml (4.02.3-6ubuntu1) yakkety; urgency=medium

  * Merge with Debian; remaining changes:
    - Pass --hash-style=both --as-needed --build-id to the linker.

ocaml (4.02.3-6) unstable; urgency=medium

  * Add x32 support (Closes: #773409)

ocaml (4.02.3-5ubuntu2) xenial; urgency=medium

  * No-change rebuild for ncurses6 transition.

ocaml (4.02.3-5ubuntu1) xenial; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Pass --hash-style=both --as-needed --build-id to the linker.

ocaml (4.02.3-5) unstable; urgency=medium

  * Fix ocamldoc with -pp (Closes: #802347)

ocaml (4.02.3-4) unstable; urgency=medium

  * Avoid multiple declarations of caml_set_oo_id in generated .c files
    - Update 0005-Avoid-multiple-declarations-in-generated-.c-files-in.patch

ocaml (4.02.3-3) unstable; urgency=medium

  * Upload to unstable

ocaml (4.02.3-2) experimental; urgency=medium

  * Reproducibility changes:
    - ocamlopt: add a .file directive to generated .s files
      + startup files are now deterministic (Closes: #795784)
      + native packed libraries are now deterministic (Closes: #796336)
    - set permissions of patches in ocaml-source

ocaml (4.02.3-1) experimental; urgency=medium

  * New upstream release
    - build and install libasmrun_shared.so (Closes: #461125)
  * Make the ocaml-source binary package reproducible (patch by Chris
    Lamb) (Closes: #779086)
  * Enable ocamldoc to build reproducible manpages (patch by Valentin
    Lorentz) (Closes: #794586)
  * Bump Standards-Version to 3.9.6

ocaml (4.02.1-3) experimental; urgency=medium

  * Fix asmcomp tests on sparc
  * Disable prim-bswap test (it fails on arm64)

ocaml (4.02.1-2) experimental; urgency=medium

  * Disable endianness-dependent tests
  * Add arm64 to native and natdynlink architectures
  * Merge version 4.01.0-5

ocaml (4.02.1-1) experimental; urgency=medium

  * New upstream release
    - camlp4 and labltk are now distributed separately

ocaml (4.01.0-5) unstable; urgency=medium

  [ Ralf Treinen ]
  * ocaml-mode: change dependency on emacs23 to emacs (closes: #754021)
  * ocaml-mode: add versionend dependency on emacs-common, add a file
    ocaml-mode.emacsen-compat (closes: #749311)

ocaml (4.01.0-4ubuntu1) utopic; urgency=medium

  * Merge with Debian; remaining changes:
    - Pass --hash-style=both --as-needed --build-id to the linker.

ocaml (4.01.0-4) unstable; urgency=medium

  * debian/patches:
    + Make "ocamlopt -g" more resistant to ill-formed locations
    + Fix lost locations in out-of-bounds exceptions
  * Disable the testsocket test because it tries to reach the net
    (Closes: #732951)

ocaml (4.01.0-3ubuntu3) trusty; urgency=medium

  * Rebuild for Tcl/Tk 8.6.

ocaml (4.01.0-3ubuntu2) trusty; urgency=medium

  * Disable the testsocket test, trying to reach the net.

ocaml (4.01.0-3ubuntu1) trusty; urgency=low

  * Merge with Debian; remaining changes:
    - Pass --hash-style=both --as-needed --build-id to the linker.

ocaml (4.01.0-3) unstable; urgency=low

  * Upload to unstable
  * debian/patches:
    + Fix native backtraces on arm*
    ~ Disable native backtraces on powerpcspe too
  * Update SLOW_ARCHITECTURES and do not run almabench test there
  * Add libiberty-dev to Build-Depends (Closes: #731047)

ocaml (4.01.0-2) experimental; urgency=low

  * debian/patches:
    + Fix ocamlopt on sparc
    + Tune resource usage of some tests to make them work on k-i386
    + Native backtraces don't work on powerpc, sparc and arm*

ocaml (4.01.0-1) experimental; urgency=low

  * New upstream release
  * debian/patches:
    - Fix code generation bug with "mod 1" (merged upstream)
    + More tests need upstream behaviour of -custom
    + Fix upstream typos and bad wordings
    + Add const qualifiers in Tcl/Tk bindings
    + Enable mkstemp in yacc
  * Remove testsuite special casing for now
  * Use unversioned Tcl/Tk dependencies
  * Update debian/control.in

ocaml (4.00.1-2) experimental; urgency=low

  * debian/patches:
    + Fix (arm) code generation bug with mod 1
  * Update Vcs-*

ocaml (4.00.1-1) experimental; urgency=low

  [ Stéphane Glondu ]
  * New upstream release
  * ocaml-compiler-libs: Replaces/Breaks previous versions of
    ocaml-base-nox (Closes: #684031)
  * Bump Standards-Version to 3.9.4
  * Bump debhelper compat level to 9

  [ Sylvain Le Gall ]
  * Remove Sylvain Le Gall from uploaders

  [ Mehdi Dogguy ]
  * Use DEB_BUILD_GNU_TYPE instead of relying on "uname -m" (Closes: #689517).
    Thanks to Konstantinos Margaritis for the patch.

ocaml (4.00.0-1) experimental; urgency=low

  * New upstream release

ocaml (4.00.0~rc1-1) experimental; urgency=low

  * New upstream release candidate
    - fix linking of pthread_atfork (Closes: #682441)
  * Merge changes from 3.12.1-4

ocaml (4.00.0~beta2-2) experimental; urgency=low

  * Fix natdynlink detection on sparc
  * Cherry-pick an upstream fix in native compilation on powerpc
  * Fixes in the test suite:
    - use legacy -custom for lib-marshal test
    - some tests were still triggering ocamlopt even on bytecode
    - fix asmcomp tests on powerpc
    - fix symbol mangling in asmcomp tests on kfreebsd-i386 and sparc
  * Bump Standards-Version to 3.9.3

ocaml (4.00.0~beta2-1) experimental; urgency=low

  * New upstream beta release
    - new "R" parameter in OCAMLRUNPARAMS to enable automatic
      randomization of the generic hash function (Closes: #659149,
      CVE-2012-0839)
    - the layout of the ocaml-compiler-libs binary package has changed
      significantly as a result of upstream installing +compiler-libs by
      itself; toplevel libraries have been moved there
  * Change the layout of the ocaml-source binary package
  * Merge changes from version 3.12.1-3

ocaml (4.00.0~~dev15+12379-1) experimental; urgency=low

  * New upstream snapshot, based on the 4.00 upstream branch
    - partially revert r12328 to avoid FTBFS
    - the dbm bindings have been removed upstream and are now released
      separately
    - declare armel and armhf as native architectures supporting
      natdynlink
  * Run the test-suite
    - on kfreebsd-*, skip lib-thread tests (they hang and I am not able
      to reproduce it myself)
    - on slow architectures, skip some tests that take too much time
    - fix asmcomp tests on Hurd (Closes: #661716)
    - fix "embedded" test broken by our -custom behaviour

ocaml (3.12.1-4ubuntu1) saucy; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Pass --hash-style=both --as-needed --build-id to the linker.
    - Add armhf to the ocaml-native-compilers architectures list.

ocaml (3.12.1-4) unstable; urgency=low

  * Change the Debian-specific behaviour of -custom (Closes: #678577)

ocaml (3.12.1-3) unstable; urgency=low

  [ Hendrik Tews ]
  * Fixes in startup and install files of ocaml-mode:
    - symlink *el files into elc dir (Closes: #452340)
    - use debian-pkg-add-load-path-item in emacsen-startup and emacsen-install
      (Closes: 671559)
    - compile el files with site-file enabled
    - use debian-emacs-flavor in emacsen-startup (see #662163)

  [ Stéphane Glondu ]
  * Fix debian/watch so that refman is not reported as a new version
  * Add some explicit dependencies to avoid spurious Lintian warnings
    about broken symlinks
  * Remove duplicate upstream changelog

ocaml (3.12.1-2ubuntu3) quantal; urgency=low

  * No-change rebuild against latest armel toolchain.

 -- Jason Gross <email address hidden>  Sun, 19 Jun 2016 13:36:51 -0400

Builds

• amd64
• i386

Built packages

• ocaml ML language implementation with a class-based object system

• ocaml-base Runtime system for OCaml bytecode executables

• ocaml-base-nox Runtime system for OCaml bytecode executables (no X)

• ocaml-compiler-libs OCaml interpreter and standard libraries

• ocaml-interp OCaml interactive interpreter and standard libraries

• ocaml-mode major mode for editing Objective Caml in Emacs

• ocaml-native-compilers Native code compilers of the OCaml suite (the .opt ones)

• ocaml-nox ML implementation with a class-based object system (no X)

• ocaml-source Sources for Objective Caml

Package files

• ocaml-base-nox_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb (680.7 KiB)
• ocaml-base-nox_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_i386.deb (666.5 KiB)
• ocaml-base_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb (86.6 KiB)
• ocaml-base_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_i386.deb (84.2 KiB)
• ocaml-compiler-libs_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb (13.8 MiB)
• ocaml-compiler-libs_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_i386.deb (13.8 MiB)
• ocaml-interp_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb (400.2 KiB)
• ocaml-interp_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_i386.deb (400.2 KiB)
• ocaml-mode_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_all.deb (78.3 KiB)
• ocaml-native-compilers_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb (5.1 MiB)
• ocaml-native-compilers_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_i386.deb (4.5 MiB)
• ocaml-nox_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb (13.3 MiB)
• ocaml-nox_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_i386.deb (13.1 MiB)
• ocaml-source_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_all.deb (2.0 MiB)
• ocaml_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1.debian.tar.gz (55.5 KiB)
• ocaml_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1.dsc (2.6 KiB)
• ocaml_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_amd64.deb (62.7 KiB)
• ocaml_4.02.3-6ubuntu2~ubuntu12.04.1~ppa1_i386.deb (62.2 KiB)
• ocaml_4.02.3.orig.tar.xz (2.0 MiB)