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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 40D1A7F61E for ; Tue, 31 Oct 2017 17:14:51 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yotambarnoy@gmail.com; spf=Pass smtp.mailfrom=yotambarnoy@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f53.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.218.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.218.53 as permitted sender) identity=mailfrom; client-ip=209.85.218.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f53.google.com) identity=helo; client-ip=209.85.218.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-oi0-f53.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A35xKMhz2TodJ0NfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0egeIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2TxTor3az9T8fHAnkfUow?= =?us-ascii?q?f7ytW93ktNmsz+2557HUZgxJgnL9PeIzf12KqlDzv8IPnIZ5Yok40AHIrWZFM7?= =?us-ascii?q?BZzHlyJF2Okj7579uwuphq/CNBsrc8scdLF6fiKfcWV7tdWQUhL2kwrOfirx/E?= =?us-ascii?q?XEPb93wAW2AcmwBOBBnt4xTzX5O3uSz/4LkukBKGNNH7GOhnEQ+p6L1mHVq10S?= =?us-ascii?q?o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BUAAANoPhZhjXaVdFdDgsBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBARQBAQEBAQEBAQEBAQcBAQEBAYNZAT5uJweDdZk1gXyCUoZtjRO?= =?us-ascii?q?CAQojhRgChGwHQhUBAQEBAQEBAQEBARIBAQEICwsIKC+COAUBHgaCPAEFIx0BG?= =?us-ascii?q?xILAQMMBgULDQICCR0CAiIBEQEFAQoSBhMSiXgBAxUQm39AjAyCBQUBHIMJBYN?= =?us-ascii?q?iChknAwpYgnABAQEBAQUBAQEBARsCBhJ9gSl2ggeBU4UTgyKBN4NNgmEFiD4Mm?= =?us-ascii?q?TyHZo0WgnOQO4xfiR8UBR+BFTWCDTQhJV41gi8JgkQfgTRbJTYBigCBVQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BUAAANoPhZhjXaVdFdDgsBAQEBAQEBAQEBAQcBAQEBARQ?= =?us-ascii?q?BAQEBAQEBAQEBAQcBAQEBAYNZAT5uJweDdZk1gXyCUoZtjROCAQojhRgChGwHQ?= =?us-ascii?q?hUBAQEBAQEBAQEBARIBAQEICwsIKC+COAUBHgaCPAEFIx0BGxILAQMMBgULDQI?= =?us-ascii?q?CCR0CAiIBEQEFAQoSBhMSiXgBAxUQm39AjAyCBQUBHIMJBYNiChknAwpYgnABA?= =?us-ascii?q?QEBAQUBAQEBARsCBhJ9gSl2ggeBU4UTgyKBN4NNgmEFiD4MmTyHZo0WgnOQO4x?= =?us-ascii?q?fiR8UBR+BFTWCDTQhJV41gi8JgkQfgTRbJTYBigCBVQEBAQ?= X-IronPort-AV: E=Sophos;i="5.44,324,1505772000"; d="scan'208";a="243007431" Received: from mail-oi0-f53.google.com ([209.85.218.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 31 Oct 2017 17:14:50 +0100 Received: by mail-oi0-f53.google.com with SMTP id a132so27435910oih.11 for ; Tue, 31 Oct 2017 09:14:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=RzJo6lI8WORw8W4wtp1diI4HQjHR6TeOpUFCscl9hJQ=; b=b7y2TpwZQsy5untJH8DKTL4PBHwG5Y0QRaKw27FT1NUDAVio6b+fe+yIBQZZsk4N9H j7DuC9mhTCIg7EkT7eGK7ZH63e/11NUfqfydiTc6v/TCJVvVhv02DKvN358qpzJKyEvt bj79RcXEv6QhaV2nfq99E3UcOGROGMm6H6mCye+EQulymUSY2hdlwChYUHoa0+dGgd5t 78NIY7md5TDgs8nKwV7XeRfpX2rzDl8v3hkGKn24ix3rpzDPu0ZHe1h+kNvFx0MCXLEF rIjnMDJjNeIQyqlUPfJ+Pw1mVBkmxl6HYknni8toxBXcw5yaGD8h8uUrZ6MRj5S8YvKp AVXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=RzJo6lI8WORw8W4wtp1diI4HQjHR6TeOpUFCscl9hJQ=; b=JIIDshNRNK7xgoyk2+9pw2wvqu1kQ/HB6kEJFn5hQWegBXAuKL25a1/zc2DJ/iqPGY TUd18i/XvLuZJNx36u1y6UsjgB1E5Xz30pwTjxWGi6P/Q7alSaPW4RicfTaXUCf7NLev 8K3m8XUhCI0mAFCzmd/k2PIlGGnH2LWVC+K43tM23U1q4x9bc+mpFcm2+tBW08L7k+P3 mUpKZAMPeXdul98yvkZGbn+l/N25GtjdYONWxMT/lvv+jou68iAXHLYoiVlNd4jEr+fe wBiaWaznwGv2qi3XjcgYSdFRQtvtZu16B+/1qoSCIpRSZuIUvS8oy9QSdcB6SxDroxJW 2aPw== X-Gm-Message-State: AMCzsaVGQP/Got2vTCmAZBxzqRq7VuR4RzGK76gSefAVPPhdrDIGxuHU ulG1edvVwlCO26B5Tv0kEaApA35HknZHYy/rJAk= X-Google-Smtp-Source: ABhQp+RBV/+WRlMmBhqa3fO3BvL5iupDjaR+HJZAeR7LQDlNfYKI8MLRJfWU0/yj2qRjwgormJhl5GgQNT9t7PkFRzw= X-Received: by 10.157.46.43 with SMTP id q40mr1329969otb.277.1509466488941; Tue, 31 Oct 2017 09:14:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.157.21.25 with HTTP; Tue, 31 Oct 2017 09:14:28 -0700 (PDT) In-Reply-To: <5AE84E1A-EDD5-40FE-9F1F-627DE5979C93@math.nagoya-u.ac.jp> References: <5AE84E1A-EDD5-40FE-9F1F-627DE5979C93@math.nagoya-u.ac.jp> From: Yotam Barnoy Date: Tue, 31 Oct 2017 12:14:28 -0400 Message-ID: To: Jacques Garrigue Cc: Mailing List OCaml , lablgtk-list Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] LablGTK 2.18.6 and LablTk 8.06.3 Any plans to upgrade to GTK+ 3.0 support? On Tue, Oct 31, 2017 at 12:18 AM, Jacques Garrigue wrote: > Dear LablGTK/LablTk users, > > This is just to indicate that there are fresh versions of LablGTK and LablTk available, > compatible with OCaml 4.06 (in particular with -safe-string). > > You can install them through opam, or find them at their usual locations: > http://lablgtk.forge.ocamlcore.org/ > https://forge.ocamlcore.org/projects/labltk/ > > We are still considering how to move out of the (supposedly extinguishing) forge, > but the code is already mirrored on GitHub (including lablGL): > https://github.com/garrigue/lablgtk > https://github.com/garrigue/labltk > https://github.com/garrigue/lablgl > > Jacques Garrigue > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs