From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 44FBE7FA5E for ; Sat, 13 May 2017 14:53:49 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=mailfrom; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.com) identity=helo; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="postmaster@orbitalfox.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A9lvGPhbQRB1+9EUsLtL/rC//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMy+bnLW6fgltlLVR4KTs6sC0LuK9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6ybL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul86pmRh3lhS?= =?us-ascii?q?keOzIl/2zcl8h8gaJHrB6koRF03ozab5yPNPdmY63TY90aS2pCUMhfWSNODYGz?= =?us-ascii?q?YJcAAecaIeZVrZPwq0cSoRawBwShAv7kxD9Shn/x2K03y/kvHxvb1wEnBNIOqG?= =?us-ascii?q?/ZrNLvNKgJUOC10LPHzTHNb/NR1jbx8pTHchckofyVW797bMTfyU4qFwzfj1WQ?= =?us-ascii?q?r5ToPzSJ2esXtmib6/BsVeW1i24orQx6vzuhxt80h4TNho8Z0E3I+CdnzIovO9?= =?us-ascii?q?G1RlB3bcS6HJdMqS2XMZZ9TNk4TGFyoik6z6ULuZ6lcygOz5Qq3xnfa+acfIiJ?= =?us-ascii?q?/hLsTuKRITl/hHNqYr6wmxGy8U24xu39UMm7zkpKozJBn9TMrHwByh7e5tadRv?= =?us-ascii?q?dj8EqtxyyD2x7P5u1aOUw0kLDUK58lwr4+jJoTtkHDEzftmEXul6KWcV8k9fOp?= =?us-ascii?q?6+T7eLrmopGcN4h7iw3kLqsuncm/DfwiMgcSR2ib5fi81Lr78ELlWrpKi/k2nr?= =?us-ascii?q?DdsJDbPsQburW0AxRV04Ym8xawFS2q0NUenXkdLVJKYgiLj4bzOwKGHPetBv66?= =?us-ascii?q?hxGokSx37/HAJLzoRJvXfVbZl7K0Ro41v1VE4A0px9FD7pZaDaFHK/X2DByi/O?= =?us-ascii?q?fEBwM0ZlTni93sD89wg95GVA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A2DwD3ABdZ/8rorF9dHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgypiA4EJg2uzeiiFcgoCDIUNQhUBAQEBAQEBAQEBAWooQg4BgWI?= =?us-ascii?q?MDIJOBiMdAQE4DwsaAiYCAlcTCAEBiiOtW2qCJoMJAQEFhzYqCIELh12CcIUvg?= =?us-ascii?q?kaCYJZ0hwYVhxyNawFsiCmGaZRDNSKBCnAVRoRoXIEzPzaCAYZrAQEB?= X-IPAS-Result: =?us-ascii?q?A0A2DwD3ABdZ/8rorF9dHAEBBAEBCgEBFwEBBAEBCgEBgyp?= =?us-ascii?q?iA4EJg2uzeiiFcgoCDIUNQhUBAQEBAQEBAQEBAWooQg4BgWIMDIJOBiMdAQE4D?= =?us-ascii?q?wsaAiYCAlcTCAEBiiOtW2qCJoMJAQEFhzYqCIELh12CcIUvgkaCYJZ0hwYVhxy?= =?us-ascii?q?NawFsiCmGaZRDNSKBCnAVRoRoXIEzPzaCAYZrAQEB?= X-IronPort-AV: E=Sophos;i="5.38,335,1491256800"; d="scan'208";a="223507016" Received: from orbitalfox.com ([95.172.232.202]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 May 2017 14:53:48 +0200 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.com (Postfix) with ESMTPSA id E75EDAA0067 for ; Sat, 13 May 2017 12:53:47 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com; s=orbitalfox; t=1494680027; bh=Iws90TO0cyCu9rgT7xXD3pNCtIgWH8bEY2QJRt36DMI=; h=Subject:To:References:From:Date:In-Reply-To; b=u2lL/5irfDTY9PpVKWnZ2vzt9CdjgTCoWaZ4NW4o0qEHUs4QRN+57fOj9UDikESmN 7MS40yYLu8QMSu8xKAcEYvJApdtcjrDjCDFY6xfBcM11VUaAY9LRoGDxcz49tBkWNS TXgm6FwiMVvHx9Q2VHu9Zz9vmYv3Ytxytl/C0zjk= To: caml-list@inria.fr References: <59149DC2025C048200390482_0_27273@msllnjpmsgsv06> <7B2C5D230E264432A259D91C0F5D7096@erratique.ch> <7CC1A434-6814-484D-A2F8-8E9B5BC6C260@recoil.org> <87d1bfnob6.fsf@umons.ac.be> <74046D53-1B0F-4464-87E0-12D0D017875E@logical.net> From: SP Message-ID: <72b1a5c9-a649-33e9-acac-757a60d9a896@orbitalfox.com> Date: Sat, 13 May 2017 13:53:46 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] discuss.ocaml.org now available Thank you for the effort Anil. Any chance for HTTPS? I would like to help if you need any. -- SP