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 88E4C1E6 for ; Wed, 14 Mar 2018 00:34:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.47,466,1515452400"; d="scan'208";a="317906661" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Mar 2018 01:34:07 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F2CB6823D7; Wed, 14 Mar 2018 01:34:07 +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 6181A8239C for ; Wed, 14 Mar 2018 01:33:59 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.mailfrom=berenger@bioreg.kyushu-u.ac.jp; spf=None smtp.helo=postmaster@h4.hosting4.cc.kyushu-u.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3AWl+5hRSlaEy3a1HJewKTmJTnTtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYheN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAoof9vVsBtx2+ChWrBOPu0T9Dm2L706Im3eouCQ/I3QMuEc4Tu3?= =?us-ascii?q?nTt9r6Kr0SXv6zzKnH0zrDdehb1iz86IjPaBAuv/6MUahzccvR1EkvDAPFjkiJ?= =?us-ascii?q?pYz4JT+azPgCv3KZ7+p4TO+ijXMspQ92ojiq3Mgsi4/Ji5oSyl/Y7yp5xYI1Kc?= =?us-ascii?q?e/SE5hbt6oCINQtzyBOItyQ8MtX3hkuCc8yrIdvp66czIGyJM9xx7QbfGMbouG?= =?us-ascii?q?4gr7WeqMLzp1imhpdbKlixqv/0Ws0O3xWtGp3FtEoCdJiNnBumoT2xDO6cWLUO?= =?us-ascii?q?Zx80ii1DuJygvd8PtLIVoumqreM5MhwqA/lp4UsUnbHi/7l1/6jK+RdkU/5uio?= =?us-ascii?q?6uLnYrrpq5OGK4B7lhvyMqcum8yiGuQ4MhUOU3GG+eimzrLs4Vf1QLdSjvEuk6?= =?us-ascii?q?nZto7VJdgDq6KkDQJY3Jwv5halAzu73tkUh3kKIEpAeB2djojpP1/OIOr/Dfe6?= =?us-ascii?q?m1mjiylkx+rYMb3nDZXCMGLDnaz6crZ87E5c0hQ8zd9F65JXCrABPenzWk/stN?= =?us-ascii?q?DBEx81KRa7zPr9BNV/zoMSQXiPDbOBMKPOrV+I4foiLPWWa48QvDbxMvwl5//1?= =?us-ascii?q?jX8lglIdZqmo3Z4PaH+iBPhmIkOZYWDtgtgbC2sKsBA+H6TWjwiJWDtXInKzRL?= =?us-ascii?q?4U5zchCYvgA52QaJqqhemvxi69FZpXfShsJ2qhN1jFTc3QUfoWZSSdL9VJmD0D?= =?us-ascii?q?T7WuDYwwyAquqUrnjbNsaOjMrH5L/an/3cR4srWA3So58iZ5WpzEgjO9Clpsl2?= =?us-ascii?q?ZNfAcYmaV2oEhz0FCGi/Mqif1fD9FcofBYTxw6KNvBieVxTdLqCFqYIoW5DW2+?= =?us-ascii?q?S9DjOgkfC8oryoVVMUx8HM+vgVbAzjexA6JQivqCD9o26vCEhiWjF4NG03/DkZ?= =?us-ascii?q?IZoRwmT89IbjT0hvI59w/IG4/PnBnfnK3sdrUBxy7QsXrFxGHIvlkKCAM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BiAADJbKhamAUNBYVdGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQ1A22DeIsQjlwpgRaURYF/AQkfhQYCgzkGBjQUAQIBAQEBAQEBAQE?= =?us-ascii?q?SAQEBAQEICwsGKC+COCKCSQEBAQMBIw8BSwsLGAICJgICHzgTCAEBhQwHq32CJ?= =?us-ascii?q?oRvgnAaaYIHBYENhB+FbgyCbIMeBIEwEHSCPIJiBIYvB4gwi3AJGYYrihUHiQu?= =?us-ascii?q?FVol5h0+BLDVUgR+BBTqCRIJBOo4BjSyCOgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BiAADJbKhamAUNBYVdGgEBAQEBAgEBAQEIAQEBAYQ1A22?= =?us-ascii?q?DeIsQjlwpgRaURYF/AQkfhQYCgzkGBjQUAQIBAQEBAQEBAQESAQEBAQEICwsGK?= =?us-ascii?q?C+COCKCSQEBAQMBIw8BSwsLGAICJgICHzgTCAEBhQwHq32CJoRvgnAaaYIHBYE?= =?us-ascii?q?NhB+FbgyCbIMeBIEwEHSCPIJiBIYvB4gwi3AJGYYrihUHiQuFVol5h0+BLDVUg?= =?us-ascii?q?R+BBTqCRIJBOo4BjSyCOgEBAQ?= X-IronPort-AV: E=Sophos;i="5.47,466,1515452400"; d="scan'208";a="317906640" Received: from hosting4.cc.kyushu-u.ac.jp (HELO h4.hosting4.cc.kyushu-u.ac.jp) ([133.5.13.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Mar 2018 01:33:57 +0100 Received: from [192.168.2.36] (unknown [133.5.218.148]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: berenger@bioreg.kyushu-u.ac.jp) by h4.hosting4.cc.kyushu-u.ac.jp (hde-lc-postfix) with ESMTPSA id 3D5E02B657B for ; Wed, 14 Mar 2018 09:33:54 +0900 (JST) (envelope-from berenger@bioreg.kyushu-u.ac.jp) To: caml-list@inria.fr References: From: Francois BERENGER Message-ID: <84b9342e-7812-37f1-c711-73e07725b998@bioreg.kyushu-u.ac.jp> Date: Wed, 14 Mar 2018 09:33:54 +0900 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] New caml-list mirror - https://inbox.ocaml.org/caml-list Reply-To: Francois BERENGER X-Loop: caml-list@inria.fr X-Sequence: 16723 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: On 03/14/2018 06:39 AM, Nicolás Ojeda Bär wrote: > Dear caml-list, > > I am happy to announce a new caml-list mirror, accessible at: > > https://inbox.ocaml.org/caml-list Was it populated with the complete history of caml-list? This would be very useful, many times I have tried to google for some old caml-list messages, and never managed to find things via sympa's interface. > 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ás -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs