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 1619B5D5 for ; Thu, 6 Dec 2018 10:19:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,322,1539640800"; d="asc'?scan'208";a="359075317" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Dec 2018 11:19:10 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 14EA282561; Thu, 6 Dec 2018 11:19:10 +0100 (CET) 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 EEF46824E4 for ; Thu, 6 Dec 2018 11:05:50 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=louis.gesbert@ocamlpro.com; spf=PermError smtp.mailfrom=louis.gesbert@ocamlpro.com; spf=Pass smtp.helo=postmaster@mail.antislash.info IronPort-PHdr: =?us-ascii?q?9a23=3AqhJO2xDpDU2/5+s8RshEUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT8rsbcNUDSrc9gkEXOFd2Cra4c26yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUhzexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWTJcDI2y?= =?us-ascii?q?bIUPCOgOPehXoIbhvFYOogeyCBO2Ce/z1jNFhHn71rA63eQ7FgHG2RQtEdQJsH?= =?us-ascii?q?TJrdX1L7oZX+Grw6nT1jrMcelW2Svg44XPdhAhpuyMXbNrccbLxkkgCRjFgU6O?= =?us-ascii?q?poz/IzOYzeMNvHSB4OplUeKvk3QnqwZrrjezwccsj5DEi4QIwV7K8iV5xZw6Jd?= =?us-ascii?q?y+SENjZt6rDIFftySeN4RqRcMiWX9ntDw9yr0ctp63ZCcKyJU7xx7fdvyIaJKE?= =?us-ascii?q?7Q7kVOaUJzpzmXFreKqnihu880Ws0PDwW8q23VpQsCZIndbBumoD2hHS7MWMV+?= =?us-ascii?q?Fz8V272TmV0gDe8uFELl4wlarcM5Mhx6Q/lpsXsUjZBCD2nln2jK6NdkUg4Oeo?= =?us-ascii?q?8OTnbq/npp+aOY90jRnyMqUomsOhHeQ1KgYDUmqB9eih17Du/1f1TKtFg/A5iK?= =?us-ascii?q?XUvpHXKdwepqGjAg9V1ogj6wy4DzejyNkYmX4HLE9EeBKclYTpNE/BIOvjAvih?= =?us-ascii?q?mVSsjCxmx/faMbL7B5XNKmDDkK3mfbpn90Fczw8zwchF551IErEBPO7zWkjpud?= =?us-ascii?q?PEFBA5Ngi0z//jCNV8zYMeRXmCArSZMaPXqV+H/PgjI+iKZI8PuTbyMeIp5/D0?= =?us-ascii?q?jSxxpVhIdqCs2d4TaWukNvVgOUSQJ3T2xp8jGGwTowclBMPjkkeDXiNeLyK9Vr?= =?us-ascii?q?gm5z4mBaqjBJvDAIakj7uQ1WKmWJRdIGJeXAOiC3DtIqGDRvYXIA2fOcVsiCBM?= =?us-ascii?q?AbymVo46kx6jrwX30aZPKeHd/ykAr5Wl399wsb6A3Sou/CB5WpzOm1qGSHt5yy?= =?us-ascii?q?ZRH2dvjfJP5Hdlw1LG6pBWxvlRFNhd/fRMC1toMpXVyuhiEde0UQXELInQFASW?= =?us-ascii?q?B+6+CDR0deofhscUah8hSdKphxXHxzCtRbQSku7TXcFmwufnx3H0Yv1F5TPG2a?= =?us-ascii?q?0m1QB0R8JOMSuvgLJ+7AzaHI6PkkOXkPTzeA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BsAwAn9Ahc/yT0uyVKGg4OAQEBBAEBB?= =?us-ascii?q?wQBAYFlgmpPMyeDeoh4m0iCRYcQgWYIBSWEAUYCCIMnBwEDNBIBAwEBAgEBAQE?= =?us-ascii?q?BbBwMgjYkAYJiBiNmCyEhAgIPAUcGAYM0ggULNKNoEYEjgS+ELQGFbw+CbYsIP?= =?us-ascii?q?4QjgwUZAoEpgzyCVwKgXwcCgiAEhGCKWgqBUk2ER4J0h1GJDoNQgRuLEoFdIYF?= =?us-ascii?q?VMxojUIJsCYV/hRSFBDxBMAEBAQGLagEB?= X-IPAS-Result: =?us-ascii?q?A0BsAwAn9Ahc/yT0uyVKGg4OAQEBBAEBBwQBAYFlgmpPMye?= =?us-ascii?q?Deoh4m0iCRYcQgWYIBSWEAUYCCIMnBwEDNBIBAwEBAgEBAQEBbBwMgjYkAYJiB?= =?us-ascii?q?iNmCyEhAgIPAUcGAYM0ggULNKNoEYEjgS+ELQGFbw+CbYsIP4QjgwUZAoEpgzy?= =?us-ascii?q?CVwKgXwcCgiAEhGCKWgqBUk2ER4J0h1GJDoNQgRuLEoFdIYFVMxojUIJsCYV/h?= =?us-ascii?q?RSFBDxBMAEBAQGLagEB?= X-IronPort-AV: E=Sophos;i="5.56,322,1539640800"; d="asc'?scan'208";a="288111861" Received: from antislash.info (HELO mail.antislash.info) ([37.187.244.36]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Dec 2018 11:05:33 +0100 From: Louis Gesbert To: caml-list@inria.fr, Jacques Garrigue Date: Thu, 06 Dec 2018 11:05:18 +0100 Message-ID: <2293946.qdrdMMZSk8@agaric> Organization: OCamlPro In-Reply-To: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart4821871.64KXT1a32K"; micalg="pgp-sha256"; protocol="application/pgp-signature" X-Validation-by: louis.gesbert@ocamlpro.com Subject: Re: [Caml-list] LablGtk3 beta1 Reply-To: Louis Gesbert X-Loop: caml-list@inria.fr X-Sequence: 17215 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: --nextPart4821871.64KXT1a32K Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" Hi Jacques, I'll try to package your branch in a `lablgtk3` opam package, and see if I = can run some tests. Thanks for the port! Louis Gesbert =E2=80=94 OCamlPro > - Jacques Garrigue, 06/12/2018 15:33 - > Dear LablGtk users, >=20 > Due to the planned deprecation of gtksourceview2 in Debian, > we have been working on a stripped down port of LablGtk2 to Gtk-3. >=20 > 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 >=20 > 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= =99m not > sure how to proceed. Help accepted. >=20 > 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. >=20 > 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. >=20 > 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 >=20 > The current status is that a modified version of CoqIDE compiles > and runs. >=20 > Please report issues on GitHub. >=20 > Jacques Garrigue >=20 >=20 --nextPart4821871.64KXT1a32K Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part. Content-Transfer-Encoding: 7Bit -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEEbvv1DIVPNISNNdcMGDmcR4apvJgFAlwI9F4ACgkQGDmcR4ap vJi9NwgAiZFBNiOnVeHj92H2aj+enqW4iErkXhsP47Z6H3DcIls1HnEJMmT3UN/U BT5sKCkiMebp4Mm26bIV7K8G+yHoIW/L7IwDBG5s1SbcjkjvCF8jGnj0Z/7BW+5r wiZj2QKlJ9ZxpGhDhidJfrhv1YYjeiQ7U1kTlrwr7SvhpxOgN/Gof4q9N1bMoEEY jFNnX9e5l/zrqFb95OshZ4jFbeczCnBZi4EXcIdAKglKAhvMdj8jq1BXLQNUWPk5 76Gru7PAgaLPSIbtaonIXGmOPI6aaB2xRFs0VQZIKiknba6qjb7l69n2XmxdkRY0 vfji44CkY7gDasfRnNyGXr4tLVXr/A== =ilsT -----END PGP SIGNATURE----- --nextPart4821871.64KXT1a32K--