From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id D79217ED5C for ; Sat, 28 Jul 2012 13:23:07 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0LAAjLE1BQRFuw/2dsb2JhbABFhQwhAbMgBASBB4EHgiEBBTo/EAs0EhQoIYgkB7lyBIVSjABgA5VIkA6CYA X-IronPort-AV: E=Sophos;i="4.77,670,1336341600"; d="scan'208";a="151906998" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 28 Jul 2012 13:23:04 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1Sv56t-0001fH-4M; Sat, 28 Jul 2012 12:23:03 +0100 Date: Sat, 28 Jul 2012 12:23:03 +0100 From: "Richard W.M. Jones" To: Damien Doligez Cc: caml users , =?iso-8859-1?Q?La=EFka?= Moussa Message-ID: <20120728112303.GA5247@annexia.org> References: <2F8B839C-9964-4600-9F92-05F9A3A4D7EB@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <2F8B839C-9964-4600-9F92-05F9A3A4D7EB@inria.fr> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] OCaml release 4.00.0 OCaml 4.00.0 is now in Fedora 18. We were chasing a very odd and very rare OCaml heap corruption bug in 32 bit i686 binaries build by OCaml 4.00.0 beta 2 which caused segfaults in programs like ocamlopt.opt and coq: https://bugzilla.redhat.com/show_bug.cgi?id=843731 I haven't yet tested OCaml 4.00.0 non-beta, but will be doing so next week. It might be fixed. Do the symptoms ring any bells? Rich. -- Richard Jones Red Hat