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 B4BDF5D5 for ; Fri, 16 Aug 2019 16:32:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,393,1559512800"; d="scan'208,217";a="395569087" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Aug 2019 18:32:17 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 965D47EF25; Fri, 16 Aug 2019 18:32:17 +0200 (CEST) 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 ECD417EF0A for ; Fri, 16 Aug 2019 18:32:04 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jocelyn.serot@uca.fr; spf=Pass smtp.mailfrom=jocelyn.serot@uca.fr; spf=None smtp.helo=postmaster@mta02.udamail.fr IronPort-PHdr: =?us-ascii?q?9a23=3AuCEaShRn6KMjdqIv1vE0n8E3M9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YxCN2/xhgRfzUJnB7Loc0qyK6vqmADdbqsff+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiooQnLq8Ubj4VvJqk1xxbIv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqRxjzIDJY4+bOuRwcazac94BX2VNQsNRWjZBAo+g?= =?us-ascii?q?b4YCCfcKM+ZCr4n6olsDtR+wBQ6wC+zxzj9Jhnn20rUn3eM7CwHG2xAgFM8JvX?= =?us-ascii?q?TWq9X6KLkdUeS1zanO1znDdO1Z2S366IjUaR0hvO2DUqhqfcrf00kiDgXIhUie?= =?us-ascii?q?p4ziOjOazOUNs26D4upvVOKvl24nqxxqrTS12sgsjYzJi4QIwV7H7SV02Js5KN?= =?us-ascii?q?m2RUJhbtOpFIFcuzyHO4Z0WM8uXXxktD45x7AFo5K3YSkHxZs9yxPbdfCLaZaE?= =?us-ascii?q?7xL/WOuXPDx2nmhqeKiliBa36UWgyvPzVs2z0FtSqypFjsPDumwT2xDJ98iIV+?= =?us-ascii?q?Fy/kK71jaO0wDf8O9EIVosmaraLZ4u3KIwm4IOvUnHECL6gkr7gauMekk55+Sl?= =?us-ascii?q?6f7rbqv7qpOEMo97kAD+MqAgmsylBuQ4NxADX2qc+eugyrLj+U34QLNQgv0tjK?= =?us-ascii?q?bZqpfaJdgAq66kHwBayJwv6xilDzu+ytQXgWEHLE5ZeBKAl4XmJ0vBIPX8Dfum?= =?us-ascii?q?h1SskSxrx+zdM736ApTNK2DDn637cbZ87U5c0gszwspF65JaELFSaM70D0T4sd?= =?us-ascii?q?iQEwQ0KRf8l+3uDdE40oIFRUqOBLWYOeXcqwnbyPgoJryuY4QYvCf7HMOk/fny?= =?us-ascii?q?xSs7nlQQebivm4AacnekNultKgOXeyy/0Z86DW4Ws19mH6TRg1qYXGsLPivgb+?= =?us-ascii?q?cH/jg+TbmeI8LDS4Sq2ezT2TuyRscQe2xPD1mNFTHmbdfcAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZxhwylvUn00eg/d7uGymgjrZvmkeNNyajWnBA2+yZzCpTPzmqECW9uzD?= =?us-ascii?q?oF?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BBJAB/2VZdhxV1McFlHAEBAQQBAQcEA?= =?us-ascii?q?QGBZwKDAwOBASqEcYgqhhCBaoQNjByFXoNDgWcJAQMBDB8QAQGDP4EAgxwbBwE?= =?us-ascii?q?ENQUNAgUBAQQBAQECAQMDBAETAQEBCgsJCCmFLgyCOiKCZVABATgdAYEfgzUBg?= =?us-ascii?q?g4BCqkfgiWCegEBBYcxAwaBNAGLaIIWgTgME4Ieg00CgSllgxCCJqtUBwKBM2y?= =?us-ascii?q?GZIcOhlyNUopwiiOLFY0YgzaBLzmBeHRMKgGCQT6CBBoegzqBPokXPgExjyIBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0BBJAB/2VZdhxV1McFlHAEBAQQBAQcEAQGBZwKDAwOBASq?= =?us-ascii?q?EcYgqhhCBaoQNjByFXoNDgWcJAQMBDB8QAQGDP4EAgxwbBwEENQUNAgUBAQQBA?= =?us-ascii?q?QECAQMDBAETAQEBCgsJCCmFLgyCOiKCZVABATgdAYEfgzUBgg4BCqkfgiWCegE?= =?us-ascii?q?BBYcxAwaBNAGLaIIWgTgME4Ieg00CgSllgxCCJqtUBwKBM2yGZIcOhlyNUopwi?= =?us-ascii?q?iOLFY0YgzaBLzmBeHRMKgGCQT6CBBoegzqBPokXPgExjyIBAQ?= X-IronPort-AV: E=Sophos;i="5.64,393,1559512800"; d="scan'208,217";a="316508660" X-MGA-submission: =?us-ascii?q?MDFcX5JDEkZ5fn+jhOl71S8EAPdls4miau1Nl0?= =?us-ascii?q?FoKJu1xf/BjcS/pPhDML49RPHg/Jn+hR1iCwgYyb/u8DAjog4Feyrc5/?= =?us-ascii?q?TZRLue+ktHMVh+LmVzQL2hNuLFfuCoTDnwuMPqvbJ3OnLxbGaJR5U69+?= =?us-ascii?q?DqPyaOFxRoMQtWsSE1Asi9Qw=3D=3D?= Received: from mta02.udamail.fr ([193.49.117.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Aug 2019 18:32:04 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 46983l4wpKzBrLK for ; Fri, 16 Aug 2019 18:32:03 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 46983l4F4HzBrN7 for ; Fri, 16 Aug 2019 18:32:03 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 mta02.udamail.fr 46983l4F4HzBrN7 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1565973123; bh=yaPQPdaLm7nWJa1gBvdDm5NOy/wM1nQSFT/qtJPfkEA=; h=From:Message-Id:Date:To:Mime-Version; b=Rzjf9LKkuMfyYlsP7FcwPexsd+hZRyD0I0/zUopdm71AxSqmWD2hzoVbhDMn34n13 1BL2sY7gsMSXJi9j4KloMpB2W1mhYRArwjAlyoRvsFX7e1PmQC7XgiJPAds3j5VgYK ipWgDv77dFMmqJ3XVoIzLbUD4phxL8HpFI1IJ9W8= X-Virus-Scanned: amavisd-new at mta02.udamail.fr Received: from mta02.udamail.fr ([127.0.0.1]) by localhost (mta02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id TmLvK29s0_MS for ; Fri, 16 Aug 2019 18:32:03 +0200 (CEST) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id 46983l3Zk9zBrLK for ; Fri, 16 Aug 2019 18:32:03 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 46983l2qxhzBnBY for ; Fri, 16 Aug 2019 18:32:03 +0200 (CEST) Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id AS9xhYPlfLYe for ; Fri, 16 Aug 2019 18:32:03 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 46983k6HNWzBnBw for ; Fri, 16 Aug 2019 18:32:02 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 proxy01.udamail.fr 46983k6HNWzBnBw DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1565973122; bh=yaPQPdaLm7nWJa1gBvdDm5NOy/wM1nQSFT/qtJPfkEA=; h=From:Message-Id:Date:To:Mime-Version; b=FbRJFXjmBQRr1ueG0engNm6Hp2b9ZmPc52GZSrxrjPu7p9HPepsQNISBi1mUh02cp IERDAf0QpVS0pq3NZQzFA2b6S48fHZ8GTk9NVnbVCZEwGwyK7AwzeSAGayAQnaGWSW zcfo+BeILsM1753+LJ//yQkvOsAPh45GQvNtuM0M= X-Virus-Scanned: amavisd-new at proxy01.udamail.fr Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id ACRSNRuKH5m3 for ; Fri, 16 Aug 2019 18:32:02 +0200 (CEST) Received: from [192.168.0.42] (lav63-2-88-164-92-250.fbx.proxad.net [88.164.92.250]) by proxy01.udamail.fr (Postfix) with ESMTPSA id 46983k3kxDzBnBY for ; Fri, 16 Aug 2019 18:32:02 +0200 (CEST) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= Content-Type: multipart/alternative; boundary="Apple-Mail=_871580FC-CDA2-4942-9F03-99074A841813" Message-Id: <9B5D7339-71C3-4205-ADB6-87F1F11400C1@uca.fr> Date: Fri, 16 Aug 2019 18:32:01 +0200 To: caml users Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) Subject: [Caml-list] [ANN] A(nother) short tutorial on how to use Dune to build and use Opam packages Reply-To: =?iso-8859-1?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 17773 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: --Apple-Mail=_871580FC-CDA2-4942-9F03-99074A841813 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 Dear all, In the continuation of my last announcement, here=92s another page = containing a collection of simple projects showing how to use Dune for = building and using Opam packages : https://github.com/jserot/dune-howto In the hope this can be useful to anyone starting to use these powerful = tools. Again, comments, bug reports and suggestions for improvements welcome. Jocelyn= --Apple-Mail=_871580FC-CDA2-4942-9F03-99074A841813 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252 Dear = all,

In the continuation of my last announcement, = here=92s another page containing a collection of simple projects showing = how to use Dune for building and using Opam packages = :


In the hope this can be useful to = anyone starting to use these powerful = tools.

Again, comments, bug reports and = suggestions for improvements = welcome.

Jocelyn
= --Apple-Mail=_871580FC-CDA2-4942-9F03-99074A841813--