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 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 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.11; 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.11; 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@ms.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@ms.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible 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 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=