From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 6C6145D6 for ; Tue, 6 Aug 2019 15:43:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,353,1559512800"; d="scan'208";a="394650529" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Aug 2019 17:43:28 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0BE9E82717; Tue, 6 Aug 2019 17:43:28 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6CC5582706 for ; Tue, 6 Aug 2019 17:43:19 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.64,353,1559512800"; d="scan'208";a="315773263" Received: from pichon.paris.inria.fr (HELO [128.93.64.107]) ([128.93.64.107]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 06 Aug 2019 17:43:05 +0200 To: caml-list@inria.fr From: Florian Angeletti Message-ID: <0978f74a-9b8c-e9a3-e3a1-c110af4a2f04@inria.fr> Date: Tue, 6 Aug 2019 17:43:05 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] OCaml release 4.08.1 Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 17737 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 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)