From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 99A255D5 for ; Thu, 6 Dec 2018 06:33:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,321,1539640800"; d="scan'208";a="359026820" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Dec 2018 07:33:18 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7CED082560; Thu, 6 Dec 2018 07:33:18 +0100 (CET) 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 C47B7824E4 for ; Thu, 6 Dec 2018 07:33:13 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=garrigue@math.nagoya-u.ac.jp; spf=None smtp.mailfrom=garrigue@math.nagoya-u.ac.jp; spf=None smtp.helo=postmaster@ms.math.nagoya-u.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3Am+O3pRcfC83DTHYlZiLdhNfhlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW6ZB7h7PlgxGXEQZ/co6odzbaO4+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahYr5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyxPDZ+z?= =?us-ascii?q?YYQAEuQPPuhWoZf6qVYVsRu+HAysCP/vyjNUhHL727Ax3eQ7EQHB2QwtB9YAv2?= =?us-ascii?q?7Io9XsKacdT/u1x7TJwzrZdfNWwzb96IfVch8/vPqBWr1wftDLyUk1FgPFgUiQ?= =?us-ascii?q?ppL+MjOQzOsNr2ib4/BmVe21hG4nrAFwrSK2yscxkIXGnJ4axkrG9SVh2Ys4I8?= =?us-ascii?q?CzRkB8Yd6hCpRQtieaOpNxQsw+WW5ovSI6xaEBuZ6hYicG0pMnxwTQa/CffIiI?= =?us-ascii?q?4w7jVOaMIThjnn5qZLW/hxO0/EO9yeP8TtG53EtEoydLiNXBt2oB2wHd58SbUP?= =?us-ascii?q?dx41qt1S6P2g3Q8O1IPEA5mKnBJ5I83LI9lYAfvVnDEyL0nkj9kbWYeV8++uey?= =?us-ascii?q?7uTqerXmqYGYN49zkgz+N78ulta6AesiLggOX3KX+eKm273s+k34QK9FguQrkq?= =?us-ascii?q?XDqp/VOd4XpqyhAwNN04Yj7QiwDyu+3dgFk3QKIkhJdROdg4T0NVzCPOr0Aeqi?= =?us-ascii?q?j1i0lTdk3fHGPrnvApXXKXjDla/sfbln5E5G0gozzN9f549KBbwaJfL8QFPxtN?= =?us-ascii?q?zCAh8/KQO0zOHnCdVn2Y8HRGKDGLWWP7/IvV+K/uIjO/OMa5MNuDbhN/gl4Obj?= =?us-ascii?q?gmMjll8YeamlxJ8XaHGjHvR6OEiZenrtgtIZEWgQpAY+TerqiEeDUTFJfXqyUb?= =?us-ascii?q?g8tXkHD9eDBIbHR4aiyJiAxzvzObZfY2QOXluFFHOtc4SfR98NbjiTK4lviGpX?= =?us-ascii?q?e6KmTtoD3Bq3qQLhg5VuNPDV9TAV/cbs3cJv5uLOmDk3/CB0ScKU3GacRiRp2G?= =?us-ascii?q?oDAT0uivMs6Xdhw0uOhPAry8dTEsZesrYQCl9jZMzsitdiAtW3YTrvO9KASVKo?= =?us-ascii?q?WNKjW2hjS9stw5kIakl6Ctznk1bK1GyoG+1NzuDZNNkP6qvZmkPJCYNl0X+cjf?= =?us-ascii?q?skhkUmBM1GOmq3j+tisQHYQYzRwR3AyvSaMJ8E1SuIz1+tiGqDuEYCDFx1SuPA?= =?us-ascii?q?VGwfIE3fotPo7wbfCbalT7Y/YFNM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYAACxwQhclwuCBoVKGhwBAgQBCAQBg?= =?us-ascii?q?WaCagNtEieDeoh4jRaYBoFmAQwlhAFABIMxBgY0EgEDAQECAQEBAQETAQEBAQE?= =?us-ascii?q?IFgZMDII2JAGDCx0BATg0AiYCX4M0AYIAEDSjcBEzcIEvgnYBAQWBMAGBEoJ+H?= =?us-ascii?q?oFLCIELiyqBf4E4DBOFURkCgSmDPDGCJocmB4kGhTqKbgmHA4o/GIFbTYRHgwG?= =?us-ascii?q?HQIxagRuICYMEgV2Bdk04ZQGCQQk1gXeDU4MGgg6FTjAzAQEBAYtfAQE?= X-IPAS-Result: =?us-ascii?q?A0DYAACxwQhclwuCBoVKGhwBAgQBCAQBgWaCagNtEieDeoh?= =?us-ascii?q?4jRaYBoFmAQwlhAFABIMxBgY0EgEDAQECAQEBAQETAQEBAQEIFgZMDII2JAGDC?= =?us-ascii?q?x0BATg0AiYCX4M0AYIAEDSjcBEzcIEvgnYBAQWBMAGBEoJ+HoFLCIELiyqBf4E?= =?us-ascii?q?4DBOFURkCgSmDPDGCJocmB4kGhTqKbgmHA4o/GIFbTYRHgwGHQIxagRuICYMEg?= =?us-ascii?q?V2Bdk04ZQGCQQk1gXeDU4MGgg6FTjAzAQEBAYtfAQE?= X-IronPort-AV: E=Sophos;i="5.56,321,1539640800"; d="scan'208";a="359026786" Received: from bsd20.math.nagoya-u.ac.jp (HELO ms.math.nagoya-u.ac.jp) ([133.6.130.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Dec 2018 07:33:11 +0100 Received: from [192.168.0.12] (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ms.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 716538BDABB for ; Thu, 6 Dec 2018 15:33:08 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=math.nagoya-u.ac.jp; s=20160220; t=1544077988; bh=JrkDnpJfRJ723YIkg6xP4UF1tZ0+3XCDCvFHJXUwFB0=; h=From:Subject:Date:To; b=eRVrMtuXb/P4shySXq3Q5jsv7P8gsBFVdVxaLoYfW95/HAXVVX5xnSm/8ptmijIoH lQFd9IhsqVbq3WjCyHcRK8zmUGv/skdl/I8Pwm9aNVa5saeHpegP/ZUPbwrx3wfr5f AXc6VvsPDYrrS4EbqrdHyCNricVlrs/gTXnm0NMw= From: Jacques Garrigue Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.1 \(3445.101.1\)) Message-Id: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> Date: Thu, 6 Dec 2018 15:33:01 +0900 To: Mailing List OCaml X-Mailer: Apple Mail (2.3445.101.1) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.6.2 (ms.math.nagoya-u.ac.jp [0.0.0.0]); Thu, 06 Dec 2018 15:33:08 +0900 (JST) X-Virus-Scanned: clamav-milter 0.99.2 at bsdserver20 X-Virus-Status: Clean X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on bsdserver20.math.nagoya-u.ac.jp Subject: [Caml-list] LablGtk3 beta1 Reply-To: Jacques Garrigue X-Loop: caml-list@inria.fr X-Sequence: 17214 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Dear LablGtk users, Due to the planned deprecation of gtksourceview2 in Debian, we have been working on a stripped down port of LablGtk2 to Gtk-3. A first beta is available for download at the usual location: http://lablgtk.forge.ocamlcore.org https://forge.ocamlcore.org/frs/download.php/1769/lablgtk-3.0.beta1.tar.gz There is no opam package yet, because I=E2=80=99m not sure how to do that: I seem to need to add a new conf-gtksourceview3 package too, and I=E2=80=99= m not sure how to proceed. Help accepted. Note that this is not the originally planned introspection based port, but a manual port of lablgtk2, dropping widgets that are no longer available. It is of course possible to add new widgets if people are willing to contribute. The main goal is to allow application using lablgtksourceview, such as CoqIDE, to compile on top of Gtk-3. Since Gtk-2 itself stays available, lablgtk2 will continue to be supported for other applications. The code is in the lablgtk3 branch: https://github.com/garrigue/lablgtk/tree/lablgtk3 There is an ongoing discussion https://github.com/garrigue/lablgtk/issues/2 The current status is that a modified version of CoqIDE compiles and runs. Please report issues on GitHub. Jacques Garrigue --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=