From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E44BF7EDD9 for ; Fri, 5 Oct 2012 16:47:44 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hez@0ok.org) identity=pra; client-ip=208.97.132.177; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="hez@0ok.org"; x-sender="hez@0ok.org"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hez@0ok.org) identity=mailfrom; client-ip=208.97.132.177; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="hez@0ok.org"; x-sender="hez@0ok.org"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@homiemail-a35.g.dreamhost.com) identity=helo; client-ip=208.97.132.177; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="hez@0ok.org"; x-sender="postmaster@homiemail-a35.g.dreamhost.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsABAIvyblDQYYSxjmdsb2JhbABFhUlHuQgrAQEBAQkLCQkSBSSCIAEBAQQSAg8dAwE1AQEOCwsNAgImAgIiEgEFARwGEwgah2MLmVMJA4poboNKAY8lAQaBIYodhHeBEpVugRWNOhYphCk X-IronPort-AV: E=Sophos;i="4.80,541,1344204000"; d="scan'208";a="158046026" Received: from caiajhbdcbhh.dreamhost.com (HELO homiemail-a35.g.dreamhost.com) ([208.97.132.177]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2012 16:47:43 +0200 Received: from homiemail-a35.g.dreamhost.com (localhost [127.0.0.1]) by homiemail-a35.g.dreamhost.com (Postfix) with ESMTP id CA5EE54078 for ; Fri, 5 Oct 2012 07:47:41 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; c=nofws; d=0ok.org; h=mime-version :in-reply-to:references:from:date:message-id:subject:to:cc: content-type; q=dns; s=0ok.org; b=hJkBm2BFL0sNimJwDk+gCe1VU6rkCO hRae83y7zQLsYwsURRCVj+GeNMV1m9bdBLpTxuMDFQt4MqgBQjWbCDw9mGQ1Bpbx s7yHZ7fJPzEhr3m3Zq9vLr9wKehRC48HGyDQAU2dFDBOd4vaMCgwHwkFzqzSSxFW qlsX9EfBYpUzY= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=0ok.org; h=mime-version :in-reply-to:references:from:date:message-id:subject:to:cc: content-type; s=0ok.org; bh=4/izLggCjMBVY0dnbDYnZJT2/oA=; b=HSXf 5snscnN4F1k6XkchvVyiD2rKMc7eqZarszo34rUYXPi5K0dKtCGZsF2Mz3C+3FJ0 jV9azkSMmKJV2ZjJDdWSK58W5wnU4m8sLDnPKxKnpEEUGTZHfAHJjBp86ng6V6Vr ofD9JjWcTCjPqy2gzn40ple5PJh2vX/bSq2EGNg= Received: from mail-oa0-f54.google.com (mail-oa0-f54.google.com [209.85.219.54]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: hez@0ok.org) by homiemail-a35.g.dreamhost.com (Postfix) with ESMTPSA id A682054075 for ; Fri, 5 Oct 2012 07:47:41 -0700 (PDT) Received: by mail-oa0-f54.google.com with SMTP id n9so3280092oag.27 for ; Fri, 05 Oct 2012 07:47:41 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:x-gm-message-state; bh=vTKSmDIr1TpNunZ/rZ++Xi0UuEfRv/A89X2A0qSkgV0=; b=AkWQnNWUTdw97dEk6cRcHgIHM6dj4f/ld5HNHE6UBOWoRUQAX8rEH77Un14CErLCni ul6x9kzMX39MnUWmKPEefYtDGLVObvwRXt44eHNvD6ceWCB0+ocAmETpl5e2A9MvhvR0 O+XC3wK7dDlpV7Lc898IhL9rkfhhJxhYZsnfefMvPXH8UVCshiokEWIAxBJubMp+evL0 Ek0oNAcmb16qUWcGJmVHU/nShUDszwNI1sihps4Yw8Z9ypuTa45BDD28t6ItE5nWYHy2 wuL9B1sH7dVuW2dcUaN5bQn+THL+5jE2MTMqNaUBf4fG3+uTSFOx5UEA8j4bm5Frv1PG flMQ== Received: by 10.60.13.228 with SMTP id k4mr2080188oec.88.1349448461018; Fri, 05 Oct 2012 07:47:41 -0700 (PDT) MIME-Version: 1.0 Received: by 10.60.30.70 with HTTP; Fri, 5 Oct 2012 07:47:20 -0700 (PDT) In-Reply-To: <2EC68B8B-5442-40FF-954A-C8E2F7927E33@inria.fr> References: <2EC68B8B-5442-40FF-954A-C8E2F7927E33@inria.fr> From: "Hezekiah M. Carty" Date: Fri, 5 Oct 2012 10:47:20 -0400 Message-ID: To: Damien Doligez Cc: caml users Content-Type: text/plain; charset=UTF-8 X-Gm-Message-State: ALoCoQnsm20xmc5FpwhZADP4Nd5tGpv4Geaj9N8QQDBh6UCL01xUmSRn1mWr98OTsZ8eX2o4+C9W Subject: Re: [Caml-list] OCaml 4.00.1 released On Fri, Oct 5, 2012 at 8:45 AM, Damien Doligez wrote: > Dear OCaml users, > > We have the pleasure of celebrating the birthdays of Denis Diderot > by announcing the release ofOCaml version 4.00.1. > This is mainly a bug-fix release, see the list of changes below. > Thank you for the new release! For anyone looking to build the new release from source, ocamlbrew has been updated to install OCaml 4.00.1 by default: https://github.com/hcarty/ocamlbrew To give it a try with the default components (OCaml, findlib, odb.ml, oasis, utop, ocamlscript) run the following in a terminal: curl -kL https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install | bash That will build and install everything under $HOME/ocamlbrew. See README.md and RECIPES.md at the link above for build requirements and other configuration examples. Hez