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 43E335D5 for ; Sun, 30 May 2021 17:46:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,234,1616454000"; d="scan'208";a="510694713" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2021 19:46:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 109C2E0C58; Sun, 30 May 2021 19:46:12 +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 B8AC1E0B0B for ; Sun, 30 May 2021 19:46:06 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=whitequark@whitequark.org; spf=Pass smtp.mailfrom=whitequark@whitequark.org; spf=None smtp.helo=postmaster@uruz.whitequark.org IronPort-PHdr: =?us-ascii?q?A9a23=3AfwmZCxadyMmfd9A6VZAfEnT/LTGg0IqcDmcuAno?= =?us-ascii?q?PtbtCf+yZ8oj4OwSHvLMx1Q6PB9SCoKsc16L/iOPJYSQ4+5GPsXQPItRndiQur?= =?us-ascii?q?oEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZ?= =?us-ascii?q?vJuTyB4Xek9m72/q99pHOZwhEniSxbLdvIBm5sAndqsYbipZ+J6gszRfEvmFGc?= =?us-ascii?q?PlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgL?= =?us-ascii?q?DQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjl?= =?us-ascii?q?jsJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6?= =?us-ascii?q?zYJcAAeUPM+hYsYfzulkBrRW9CwijCuzi0SNIi3303aEmz+gsCx/K0Qo9FNwOq?= =?us-ascii?q?nTUq9D1Ob8cUOC1zanI0SvMb+pL2Tjn8ojIcQ0qrPaCXLJwcMrR1VcgFxrYjlq?= =?us-ascii?q?Ks4zlPCiY1+oNs2ia8+pvS/uvi3M9pAFroTij3MAsipPGho8MzF3P6Cp2zpovK?= =?us-ascii?q?9KiVE57fcCrEIFWtyyCN4Z7Q8wvTW9ntiok1rALtoK2cDYOxZkm2RLSZP2Kf5S?= =?us-ascii?q?H7x/sV+ucPTd2inJldbywhRu/7Eatx+7gW8Wo1FtHrCxImcTCuHAK0hzc8MmHS?= =?us-ascii?q?v1l80av2TaP1hzT5f9dIUApj6XbMZ0hzqQ3lpoJvkTOGDL9lkbujKKOa0kp+eu?= =?us-ascii?q?l5/76brjnp5KQLZF4hhz9P6g0h8CyBeI1ORUUUWeB4+Szzrjj8FX5QLpUiv02l?= =?us-ascii?q?bHUsI3AJcQGp6+1GQFU0oYi6xajETimyckYkmMdLFJGYh6HiJLpO17WLPD5C/e?= =?us-ascii?q?wnUisnS92y/3FPbDtGIjBI3nCnbv7Y7px9k1RxBAuwd1b/55UD6sOIPP3Wk//r?= =?us-ascii?q?tzYCRo5PhS6wubnCdV9yp0RWXuSAqCDKqPSskSF5+wvI+mNeI8api/9K+U/6P7?= =?us-ascii?q?0jn81g1gdfbOm3ZcPcnC3AuxmI1mFYXrrmtoODX0Fvg86TODzjF2CUCVTZ2qpU?= =?us-ascii?q?qIn5jA7DZqmAp3ZSoCshryBxia7EYdMamBIEFDfWUvvIqqNUe0NZSbaGcRhnyY?= =?us-ascii?q?JT/D1RIYrzxCjsEnhwLpqNOfO0iIdvJPnktNy4ruAuws18GlrD8WB3niQRnt31?= =?us-ascii?q?jcXRz4q0bliqFZ+4kiD0LR1muFRD98V4OlGBFRpfaXAxvB3XoihEjnKec2EHRP?= =?us-ascii?q?/Go3O6dAZU8gs0ZkRY0dhFsy/hwrAmS2wDO1N/1RuLIM0877RxmX4PcU7zGzJh?= =?us-ascii?q?vFJZ7YOXctOKWC/m6dl9E7UHYGbyi2k?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3As8KY36GleSrBkYbjpLqE7MeALOsnbusQ8zAX?= =?us-ascii?q?Po5KKSC9Ffb1qynOppkmPHDP5wr5NEtPpTnEAtjjfZq+z/RICOsqTNOftWDd0Q?= =?us-ascii?q?PCEGgh1/qG/9SKIVycygcy78ZdmuRFebvN5QgTt7ec3DWF?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CZCADKzrNg/xPaprxaHgEBCxIMQIFZg?= =?us-ascii?q?il3VgE6MY1MiGoDm06BaAsBAwENNQkBAgQBAYRQAoF+Ah0HAQQ1BQ0CBBUBAQU?= =?us-ascii?q?BAQECAQMDBAFwE4VoDYI4KQGDYwEFOAI/EAQHCQ8uVwYbgmqDCwEKqEOBNIEBi?= =?us-ascii?q?CaBYoE6ilKDGCcPDT+BCUWECC8+hApGhW8EgnGBABCBc0NNkHqNG50FMoMjgTe?= =?us-ascii?q?BRocRk0woEYUgoDiBdoR9iTCROYhXj1+BbCOBWX1DgmkJRxkOkWuFOIVKQQMvA?= =?us-ascii?q?jYCBgoBAQMJWQEBin8BAQ?= X-IPAS-Result: =?us-ascii?q?A0CZCADKzrNg/xPaprxaHgEBCxIMQIFZgil3VgE6MY1MiGo?= =?us-ascii?q?Dm06BaAsBAwENNQkBAgQBAYRQAoF+Ah0HAQQ1BQ0CBBUBAQUBAQECAQMDBAFwE?= =?us-ascii?q?4VoDYI4KQGDYwEFOAI/EAQHCQ8uVwYbgmqDCwEKqEOBNIEBiCaBYoE6ilKDGCc?= =?us-ascii?q?PDT+BCUWECC8+hApGhW8EgnGBABCBc0NNkHqNG50FMoMjgTeBRocRk0woEYUgo?= =?us-ascii?q?DiBdoR9iTCROYhXj1+BbCOBWX1DgmkJRxkOkWuFOIVKQQMvAjYCBgoBAQMJWQE?= =?us-ascii?q?Bin8BAQ?= X-IronPort-AV: E=Sophos;i="5.83,234,1616454000"; d="scan'208";a="382889631" X-MGA-submission: =?us-ascii?q?MDGo2nuPr1Cb2RGmy7Eonx10LoEp9OBzFDtQW7?= =?us-ascii?q?ezGs7/vC6jGLNSar3SehlMqaj5s7M0GmbqcyGLr3FwhCfoVnFdR3YBZ4?= =?us-ascii?q?vqgPIsQzenwlMavB922fSyclS+oc7IqG6AAT8mo2V4EPZbHlAbE0lxCP?= =?us-ascii?q?ibU3Sgd31x0zC8jN4vivQeXg=3D=3D?= Received: from uruz.whitequark.org ([188.166.218.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 May 2021 19:46:04 +0200 Received: from mail.whitequark.org (localhost [127.0.0.1]) by uruz.whitequark.org (Postfix) with ESMTP id A1A352042F; Sun, 30 May 2021 17:46:00 +0000 (UTC) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Sun, 30 May 2021 17:46:00 +0000 From: whitequark To: Gabriel Scherer Cc: Adrien Nader , caml users In-Reply-To: References: <20210520081605.GA32553@notk.org> <20210526140102.GA22143@notk.org> <20210527083438.GA29013@notk.org> Message-ID: <2ebd4e05e13f2ab92d49f19e52875ccc@whitequark.org> X-Sender: whitequark@whitequark.org User-Agent: Roundcube Webmail/1.3.16 Subject: Re: [Caml-list] IRC channels available on libera.chat Reply-To: whitequark X-Loop: caml-list@inria.fr X-Sequence: 18513 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: On 2021-05-30 16:22, Gabriel Scherer wrote: > Dear Adrien (and list), > > Thanks for taking care of the migration! > > I don't use IRC regularly anymore (it eats my time and makes my > content hard to find again), but I have made good use of whitequark's > excellent IRC log services over the last decade > https://freenode.irclog.whitequark.org/ocaml/ > > Currently the log looks like #ocaml on freenode is still being logged, > but this channel is now empty. > > (Of course logs still exist for any past discussions.) > > Is there a similar log service for the libera.chat channel? > whitequark's webpage has a "Contact whitequark if your channel > migrated to another network" message, has anyone done so for #ocaml? > (If not, I just cc-ed whitequark.) https://libera.irclog.whitequark.org/ocaml -- whitequark