From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <garrigue@math.nagoya-u.ac.jp>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 084267F8F2
	for <caml-list@sympa.inria.fr>; Thu, 22 May 2014 16:31:00 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  garrigue@math.nagoya-u.ac.jp) identity=pra;
  client-ip=133.6.130.5;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="garrigue@math.nagoya-u.ac.jp";
  x-sender="garrigue@math.nagoya-u.ac.jp";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  garrigue@math.nagoya-u.ac.jp) identity=mailfrom;
  client-ip=133.6.130.5;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="garrigue@math.nagoya-u.ac.jp";
  x-sender="garrigue@math.nagoya-u.ac.jp";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo;
  client-ip=133.6.130.5;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="garrigue@math.nagoya-u.ac.jp";
  x-sender="postmaster@mailhost.math.nagoya-u.ac.jp";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApABAHUJflOFBoIFnGdsb2JhbABZg1nFAgGBIw4BAQEBAQgUCTyCJQEBBToGAwE1AQEOCxguVwaIUw6wKoV8AppdhTAQAQIEjhszB4MrgRWKI49Slm0u
X-IPAS-Result: ApABAHUJflOFBoIFnGdsb2JhbABZg1nFAgGBIw4BAQEBAQgUCTyCJQEBBToGAwE1AQEOCxguVwaIUw6wKoV8AppdhTAQAQIEjhszB4MrgRWKI49Slm0u
X-IronPort-AV: E=Sophos;i="4.98,887,1392159600"; 
   d="scan'208";a="75328173"
Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 22 May 2014 16:30:57 +0200
Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 4576963B9;
	Thu, 22 May 2014 23:30:54 +0900 (JST)
Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 030FE4142;
	Thu, 22 May 2014 23:30:54 +0900 (JST)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h=
	content-type:mime-version:subject:from:in-reply-to:date:cc
	:content-transfer-encoding:message-id:references:to; s=alpha;
	 bh=biqqV8jenp5vktfAvBA/G+faptM=; b=Ap2UhCiO63HTOPazUyqTJ51G/6Nm
	1BxJfhP1P9YHxaOcaL57X42zhhmxjBKeFLOkeJwS6CvxdB090XM0xnMSy1QoIKp1
	EfK29doKCgPLfBbhPjqjjzRiIiLyGPgCUO2GqeFNjiSnVPgzzqZ+A1D0Goh+ueVV
	PM1hdGdd5RV6i6c=
DomainKey-Signature: a=rsa-sha1; h=Received:Content-Type:Mime-Version:Subject:From:In-Reply-To:Date:Cc:Content-Transfer-Encoding:Message-Id:References:To:X-Mailer; b=gmhwzOlR2cYfqkWAVYhFKjtUKrTQBAm8E1SPN4BXJXgMROPQ84C9UHDWU49b/izYwQ9+eJwvjc9XmTHwYGH7eFAF7gNjarJ0mkmYtWVBYTKQmZvrfhgnwPyQslRAXDO9/llbzdDu9eLuYUg1tLErNc5eIWhmHmGNfnn4kijUBTo=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha
Received: from garrigue-mini.math.nagoya-u.ac.jp (garrigue-mini.math.nagoya-u.ac.jp [172.16.30.37])
	by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id C7BC84141;
	Thu, 22 May 2014 23:30:53 +0900 (JST)
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\))
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
In-Reply-To: <21D8EFF4-C891-4189-A924-080428387E25@inria.fr>
Date: Thu, 22 May 2014 23:30:52 +0900
Cc: Kakadu <kakadu.hafanana@gmail.com>
Content-Transfer-Encoding: quoted-printable
Message-Id: <14DE421F-103A-45C3-8928-6A737E66BFB5@math.nagoya-u.ac.jp>
References: <33BA74EC-E875-437F-A8A0-34011307D21D@inria.fr> <537CA058.5060306@mpi-sws.org> <CAGmVoG0bA4dRU1kUF1Xj5NUuT45OhvrEdWXPgWxEb==d=z1E9A@mail.gmail.com> <21D8EFF4-C891-4189-A924-080428387E25@inria.fr>
To: Mailing List OCaml <caml-list@inria.fr>
X-Mailer: Apple Mail (2.1874)
Subject: Re: [Caml-list] OCaml release 4.02.0+beta1

On 2014/05/22 20:13, Damien Doligez wrote:
> On 2014-05-21, at 15:25, Kakadu wrote:
>> Where should I look for labltk now?
>=20
> It's on ocamlcore: https://forge.ocamlcore.org/projects/labltk/
>=20
> -- Damien

You can now find a beta release of labltk there, in sync with ocaml 4.02 be=
ta1.

	Jacques=