From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id C62D5BC58 for ; Fri, 17 Sep 2010 23:25:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEABt6k0zVuiYS/2dsb2JhbACiK3HEEQ2FMwSVQQ X-IronPort-AV: E=Sophos;i="4.56,384,1280700000"; d="scan'208";a="69701030" Received: from solaria.dimino.org ([213.186.38.18]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Sep 2010 23:25:52 +0200 Received: from aurora (localhost.localdomain [127.0.0.1]) by solaria.dimino.org (Postfix) with ESMTP id CA39780048; Fri, 17 Sep 2010 23:25:50 +0200 (CEST) Received: by aurora (Postfix, from userid 1000) id 7876E4ACCB; Fri, 17 Sep 2010 23:26:01 +0200 (CEST) Date: Fri, 17 Sep 2010 23:26:01 +0200 From: =?iso-8859-1?Q?J=E9r=E9mie?= Dimino To: Jacques Garrigue Cc: caml-list@inria.fr, lablgtk@yquem.inria.fr Subject: Re: [Caml-list] LablGtk 2.14.2 Message-ID: <20100917212601.GA15641@aurora> References: <20100917.175919.141854762.garrigue@math.nagoya-u.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20100917.175919.141854762.garrigue@math.nagoya-u.ac.jp> User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; lablgtk:01 tarball:01 camlers:01 bug:01 ocaml:01 bug:01 lablgtk:01 ocaml:01 gtk:01 wwwfun:01 olabl:01 wrote:01 typing:01 caml-list:01 tar:01 The link to download the tarball seems to be broken: it ends with lablgtk-2.14.2.gz instead of lablgtk-2.14.2.tar.gz On Fri, Sep 17, 2010 at 05:59:19PM +0900, Jacques Garrigue wrote: > Dear Camlers, > > Following a number of bug fixes, and particularly a serious > incompatibility in ocaml 3.12 (due to the fixing of an old typing > bug), here is a new release of LablGtk2, the ocaml interface to the > Gtk+ GUI library and friends (glade, rsvg, gnomecanvas, gnomedruid, > panel, gtkspell, gtksourceview2.) > > You can find it at: > > http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html -- Jérémie