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 2448D8239C for ; Tue, 13 Mar 2018 22:39:41 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=SoftFail smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=None smtp.helo=postmaster@vrout10.yaziba.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=pra; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of nicolas.ojeda.bar@lexifi.com is inclined to not designate 185.56.204.32 as permitted sender) identity=mailfrom; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vrout10.yaziba.net) identity=helo; client-ip=185.56.204.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="postmaster@vrout10.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEEKTZxRv5ZWl0FHqcm3tmAZ3Ctpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZheN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRBDI2y?= =?us-ascii?q?bIUBEvQPMvpXoYTmu1sOtAGzCRWwCO/zyDJFgGL9060g0+QmFAHLxBQuH9MSv3?= =?us-ascii?q?TTqNXyNrwSXviswqnK0zrMculZ1i/g5Y/NaBAqvPaBXbRxccXNzkkvExnKjk6K?= =?us-ascii?q?pYziPTOayPkCvHKB4+V7T+2vkXUqqwVvrTmgx8cshIjJipgJxVDD8CV02YA4Ls?= =?us-ascii?q?C2Rk58ZN6rCppQtyeCOotxXswtWWRouCIgxr0Bo567czAGyIw6xxHEb/yHcpSH?= =?us-ascii?q?7gviVOaXOjh4g31kdKi4hxao/kitzPD3WMqs0FtSsyZIkdnBumoN2hHS8MSLVO?= =?us-ascii?q?dx80i71TuByQzf8v9ILVwwmKbBKJMswqQ8moQOvUnABCP7l0b7gamLfUs+4Oeo?= =?us-ascii?q?8f7oYrD+q5+cKYB0jgb+P7wwmsylBuQ4LxQOU3WH9eim1Lzs50z4QLRRgfIsiK?= =?us-ascii?q?XZto7VJdgDqq64BQ9azJoj5g6iAzql0NkUh3kKIVNfdB6Zk4TkNEvCLf7mAfun?= =?us-ascii?q?hlSjijZrx/TIPr37BZXNK2DOkLHgfblh7E5czBA8zctF65JTCLEOPu/8VVXruN?= =?us-ascii?q?PDFBA5KRe5w+L5B9Ry14MeV2OPDrWFP6PVtF+E/vgvLPWUZI8JpDb9LOAo6OL0?= =?us-ascii?q?gn88nV8RZK2p3ZoMaHCkBflmOEWYYX/0gtgbC2sKvww+TPbriFKYSzJTaWyyU7?= =?us-ascii?q?o55jE8FY2pE5/ORpuogLydxCe7GYBWZnwVQmyLRFDDfoCAE9IFaSaTJMAptj0f?= =?us-ascii?q?SfD1QIYk0VSqtRTm47thNOvdvCMC48HNzt9wssvSnhY2fCdDKMaQ32i6Ze1u1j?= =?us-ascii?q?cORjQx2Klk50t/x1uKl6JxmdRcGMxS6fIPWQA/Y82Ph9dmAsz/D1qSNuyCT0yr?= =?us-ascii?q?F5D/WWloH4ABhuQWakM4IO2MyxXK3i6kGbgQzubZAJEk86zdmXP2IpQmkiqU5O?= =?us-ascii?q?wal1AjB/B3Gyi+nKcmrVrXCp7InUTfnKGvJ/xFgXz9sVybxG/Lh3l2FQ59VaKf?= =?us-ascii?q?BSIBfEzLsY2hoFLLXb6kAPIhPxcTkcM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A+AQCXQ6hahyDMOLldHAEBAQQBAQoBA?= =?us-ascii?q?YQ1cDKDRpgRgheBA4F7AZJJggEKH4ghBxkMBS4VAQIBAQEBAQEBAQESAQEBCgs?= =?us-ascii?q?JCCgugjgkAYJwfA8CJgIkEgEFASIbhRAEAZt+g0VAjBKCJog7JoIHBYENhCiCL?= =?us-ascii?q?ooYBIE3EIMwgmIEkzmHHQmGRIoggVONDQGJeodBDwMggQcCNIF0cE8xBoINgkE?= =?us-ascii?q?6gUyNfYI6AQEB?= X-IPAS-Result: =?us-ascii?q?A0A+AQCXQ6hahyDMOLldHAEBAQQBAQoBAYQ1cDKDRpgRghe?= =?us-ascii?q?BA4F7AZJJggEKH4ghBxkMBS4VAQIBAQEBAQEBAQESAQEBCgsJCCgugjgkAYJwf?= =?us-ascii?q?A8CJgIkEgEFASIbhRAEAZt+g0VAjBKCJog7JoIHBYENhCiCLooYBIE3EIMwgmI?= =?us-ascii?q?EkzmHHQmGRIoggVONDQGJeodBDwMggQcCNIF0cE8xBoINgkE6gUyNfYI6AQEB?= X-IronPort-AV: E=Sophos;i="5.47,466,1515452400"; d="scan'208";a="317896476" Received: from vrout10.yaziba.net ([185.56.204.32]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Mar 2018 22:39:40 +0100 Received: from mtaout10.int.yaziba.net (mtaout10.int.yaziba.net [10.4.20.36]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout10.yaziba.net (mx10.yaziba.net) with ESMTPS id 3C27352212 for ; Tue, 13 Mar 2018 22:39:39 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout10.int.yaziba.net (Postfix) with ESMTP id 4DF0A1604B8 for ; Tue, 13 Mar 2018 22:39:39 +0100 (CET) X-Virus-Scanned: amavisd-new at Received: from mtaout10.int.yaziba.net ([127.0.0.1]) by localhost (mtaout10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 1wTpd_ES71fO for ; Tue, 13 Mar 2018 22:39:39 +0100 (CET) Received: from mail-oi0-f48.google.com (mail-oi0-f48.google.com [209.85.218.48]) by mtaout10.int.yaziba.net (Postfix) with ESMTPSA id 1D093160483 for ; Tue, 13 Mar 2018 22:39:39 +0100 (CET) Received: by mail-oi0-f48.google.com with SMTP id j79so977806oib.12 for ; Tue, 13 Mar 2018 14:39:39 -0700 (PDT) X-Gm-Message-State: AElRT7GEQft0QT91a2DwMDG0s0gC5KdQrjIjuv+QJ1SVTRezNMhskQoz wj//j6FfHznIfwf351pM/H/CzmcQWuFp/pTAOCo= X-Google-Smtp-Source: AG47ELvcFctG3irx8ewBFVrS+qArEJXNO7vicEGs9L/0JwmicdgnUD6OkC1oiT5wpc3CzPvTFguBj7kcvBPJr7JLfBc= X-Received: by 10.202.89.66 with SMTP id n63mr1311175oib.10.1520977177865; Tue, 13 Mar 2018 14:39:37 -0700 (PDT) MIME-Version: 1.0 Received: by 10.74.86.207 with HTTP; Tue, 13 Mar 2018 14:39:17 -0700 (PDT) From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Tue, 13 Mar 2018 22:39:17 +0100 X-Gmail-Original-Message-ID: Message-ID: To: OCaml Mailing List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrgedtgedrtddtgddufeefucetufdoteggodetrfcurfhrohhfihhlvgemucggtfgfnhhsuhgsshgtrhhisggvnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefhfffkuffvtgfgsehtqhertddttdejnecuhfhrohhmpefpihgtohhljohspgfqjhgvuggrpgeumohruceonhhitgholhgrshdrohhjvggurgdrsggrrheslhgvgihifhhirdgtohhmqeenucffohhmrghinhepohgtrghmlhdrohhrghdpphhusghlihgtqdhinhgsohigrdhorhhgnecukfhppedvtdelrdekhedrvddukedrgeeknecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: [Caml-list] [ANN] New caml-list mirror - https://inbox.ocaml.org/caml-list Dear caml-list, I am happy to announce a new caml-list mirror, accessible at: https://inbox.ocaml.org/caml-list Some advantages with respect to the official archive (sympa): - threads are not broken at month boundaries; - powerful search; - more usable interface (in my opinion); - it is easy to get a copy of the full archive: git clone --mirror https://inbox.ocaml.org/caml-list. The new mirror is powered by https://public-inbox.org/, where you can go to learn more about it. If you run into trouble or have any comments at all, do not hesitate to get in touch either directly or via caml-list. Thanks! Happy reading, Nicol=C3=A1s