Delivered-To: garrigue at math.nagoya-u.ac.jp
Authentication-Results: mailhost.math.nagoya-u.ac.jp sender=lablgtk-bounces at yquem.inria.fr; domainkey=neutral (domain does not match address; no policy for yquem.inria.fr)
Delivered-To: lablgtk at yquem.inria.fr
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h=
	mime-version:from:subject:date:to:cc:content-transfer-encoding
	:content-type:message-id; s=alpha; bh=6eSNWrTr5o1h9xrRwmS7RrrHTt
	Q=; b=H4/RsWxR1alRBA4d7Ufln05SxWxV4w/3VoTg72j/oAnU2oO78cXFTOb293
	5x0xEqvzwcIXQ3nUkBCbSHG8ZaPLfMSGq3hPVi2GKOKmgwIvlGaegNjMrWk+MwRk
	IfuSyCV7rJ06A/uGsv7EvSSqB1SGP8e6gWZt039fRReRIXOk8=
DomainKey-Signature: a=rsa-sha1;
	h=Received:MIME-Version:content-class:From:Subject:Date:Importance:X-Priority:To:CC:Content-Transfer-Encoding:Content-Type:Message-Id;
	b=gGjDs6nfcdsXRGdRB+byk11chOFNzSQ3lGI1UWQU7br8vBzLXtTuDSPbxFn7oAaUB1ZjN8poCeBshjBc5jy3aiK8Vfosnna7JIiSuSwVEwfJz2mRE7itEyb+tgbVb4lg9yVk1w37vODxCD0imy1wMtPywTT5rZk+11C0t9rwEIg=;
	c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha
MIME-Version: 1.0
content-class: 
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Sat, 18 Sep 2010 07:00:39 +0900
Importance: normal
To: =?utf-8?Q?J=C3=A9r=C3=A9mieDimino?= <jeremie at dimino.org>
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"
Message-Id: <20100917220026.02A71889F at mailhost.math.nagoya-u.ac.jp>
Cc: lablgtk at yquem.inria.fr, caml-list at inria.fr
Subject: [Lablgtk] RE: [Caml-list] LablGtk 2.14.2
Status: U

Thanks for the report.
This is fixed now.

Jacques Garrigue

-----=20
From: J=C3=A9r=C3=A9mieDimino <jeremie@dimino.org>

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,
>=20
> 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.)
>=20
> You can find it at:
>=20
>   http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html

--=20
J=C3=A9r=C3=A9mie


_______________________________________________
Lablgtk mailing list
Lablgtk@yquem.inria.fr
http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk