caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] OCaml release 4.08.1
@ 2019-08-06 15:43 Florian Angeletti
  0 siblings, 0 replies; only message in thread
From: Florian Angeletti @ 2019-08-06 15:43 UTC (permalink / raw)
  To: caml-list

Dear OCaml users,

We have the pleasure of celebrating the birthday of Alexander Fleming
by announcing the release of OCaml version 4.08.1.

This is a bug-fix release, which fixes compilation failures in presence of
"-pack" (breaking nocrypto), and dynlinking failures (breaking Frama-C)
(see also the list of changes below).

It is (or soon will be) available as a set of OPAM switches,
and as a source download here:
   https://caml.inria.fr/pub/distrib/ocaml-$BRANCH/

Happy hacking,

— Florian Angeletti, for the OCaml team.

OCaml 4.08.1:
-------------------

### Bug fixes:

- #7887: ensure frame table is 8-aligned on ARM64 and PPC64
   (Xavier Leroy, report by Mark Hayden, review by Mark Shinwell
    and Gabriel Scherer)

- #8751: fix bug that could result in misaligned data section when 
compiling to
   native-code on amd64.  (observed with the mingw64 compiler)
   (Nicolás Ojeda Bär, review by David Allsopp)

- #8769, #8770: Fix assertion failure with -pack
   (Leo White, review by Gabriel Scherer, report by Fabian @copy)

- #8816, #8818: fix loading of packed modules with Dynlink (regression in
   #2176).
   (Leo White, report by Andre Maroneze, review by Gabriel Scherer)

- #8830: configure script: fix tool prefix detection and Debian's armhf
   detection
   (Stéphane Glondu, review by David Allsopp)

- #8843, #8841: fix use of off_t on 32-bit systems.
   (Stephen Dolan, report by Richard Jones, review by Xavier Leroy)


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2019-08-06 15:43 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-08-06 15:43 [Caml-list] OCaml release 4.08.1 Florian Angeletti

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).