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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 98B1580211 for ; Tue, 17 Oct 2017 11:38:59 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=davis.mil@husky.neu.edu; spf=Pass smtp.mailfrom=davis.mil@husky.neu.edu; spf=None smtp.helo=postmaster@mail-ua0-f169.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of davis.mil@husky.neu.edu) identity=pra; client-ip=209.85.217.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="davis.mil@husky.neu.edu"; x-sender="davis.mil@husky.neu.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of davis.mil@husky.neu.edu designates 209.85.217.169 as permitted sender) identity=mailfrom; client-ip=209.85.217.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="davis.mil@husky.neu.edu"; x-sender="davis.mil@husky.neu.edu"; 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@mail-ua0-f169.google.com) identity=helo; client-ip=209.85.217.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="davis.mil@husky.neu.edu"; x-sender="postmaster@mail-ua0-f169.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A3ba7eBFcZ+q6bdvNHSIzW51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76osSwAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TXhpQIVTx72MA4w?= =?us-ascii?q?IuXuBqbTid623qa84c79eQJN0R+8ZbQ6AByorB6Z4sUfn4p5bKMwzjPJv2BLaq?= =?us-ascii?q?JQyH4uKF6OyUWvrvys9YJupnwD88kq8NRNBP33?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CAAwCLzuVZhqnZVdFcHAEBFgEBBQEBC?= =?us-ascii?q?gEBFgEBBQEBhAtuJweDc4EEMolpjjeZXgNcAQkbhR0BhGEHVwEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQgLCwgoL4I4IoJtHQEBOB0BAgU3AiQSAQUBilKdOECLIWuCJ4MIAQEFh?= =?us-ascii?q?QwHg0QIEoMcggeMN4JHgmGKFYkjjhiHX40McYEKAXWQJ40UiEgUBR+BFYIwNCE?= =?us-ascii?q?ngREGgikJggMMVD2BOD42AYp4AQEB?= X-IPAS-Result: =?us-ascii?q?A0CAAwCLzuVZhqnZVdFcHAEBFgEBBQEBCgEBFgEBBQEBhAt?= =?us-ascii?q?uJweDc4EEMolpjjeZXgNcAQkbhR0BhGEHVwEBAQEBAQEBAQEBEgEBAQgLCwgoL?= =?us-ascii?q?4I4IoJtHQEBOB0BAgU3AiQSAQUBilKdOECLIWuCJ4MIAQEFhQwHg0QIEoMcgge?= =?us-ascii?q?MN4JHgmGKFYkjjhiHX40McYEKAXWQJ40UiEgUBR+BFYIwNCEngREGgikJggMMV?= =?us-ascii?q?D2BOD42AYp4AQEB?= X-IronPort-AV: E=Sophos;i="5.43,390,1503352800"; d="scan'208,217";a="296557263" Received: from mail-ua0-f169.google.com ([209.85.217.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Oct 2017 11:38:58 +0200 Received: by mail-ua0-f169.google.com with SMTP id h34so712117uaa.6 for ; Tue, 17 Oct 2017 02:38:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=husky-neu-edu.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=Cjez3YWAzBS4GSd4E+sgOhRPBLSO9HJDkPFHiDBQpsA=; b=TRCz0DqxBpxuu+HxpANBZVcONLzWWJusvT/HdfvXCOsUPNpAaOA9nLG5i6shrcQ8/A cMF72u4in3Ow90XTin3NVbmgp6p3mDuh6quDkJT3XWxkw1Lv8Dbo69p0TCibx5EuM4O1 m63Qq0HtdafdnqiIDibF996g0UEA3KWp+DZUadMu+AzEP0S7PFl1Md4gPtZiXM/NQiNS Z81zjKjwxLxw3Fh0lnCbNGcJwJ9NQOBXTk33YZJ9zu7SM0FRePlaaih2GMqFnF7OntfN bKGnGP0NG4tw01e/d3TJmKz7My38gTMzRJdoP3bNlkPjTmeID8F6ypJuqXiVW1WJkYZk JNtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=Cjez3YWAzBS4GSd4E+sgOhRPBLSO9HJDkPFHiDBQpsA=; b=h+3ywCXHXiFXKQiBjOJsiV9QuGLliWM01PXYI1cu3DS3RBPSBa6Xrwi9wCuHysIF7U 0+oFckmOTBujQlEiVnxdGoDFp2Dnj1bPSKwHj1MiT74luSHeYd7zMW4tQvQW3t0FoEZk dagRDJZ9L0tEh20nKnp5nyTBUatwsixLBGstpT21XH4ZxbtHWxp7ijwoF23ZEdMH67JU cZWjTC65YRXlbRUPfe8Q7LkqMGAZzpkZG7BnE4PeKJ6B6RdJmZJCyr9ydbeJ18DZhBYc sILKQK2PaVDns5zZHkP6TjgRze3x+/M+cD758DXHMAoZiXpGv7EfchSZO6qTXi4eL2E2 clVw== X-Gm-Message-State: AMCzsaWnBed+aG0Mc5OA5YQ35an4MOodLLTDN2FUwZFNDFCfTPVNXAu/ PK8wyKyhqP8A2YTUDtphGXEdMosDEAUNOG3BzHnfDw== X-Google-Smtp-Source: ABhQp+SuKmufzamwQQ7KqfGywMTjGf4/pzv5RfpZ19ShoTYloH7vlJNiD4ncbN+nfb/In5WCWmaUd6aF12+kwIOfC1g= X-Received: by 10.176.1.240 with SMTP id 103mr9988400ual.97.1508233135925; Tue, 17 Oct 2017 02:38:55 -0700 (PDT) MIME-Version: 1.0 Received: by 10.176.19.134 with HTTP; Tue, 17 Oct 2017 02:38:55 -0700 (PDT) From: Milo Davis Date: Tue, 17 Oct 2017 11:38:55 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="001a113cfa504e3f7b055bbae4e7" Subject: [Caml-list] ocaml.org certificate --001a113cfa504e3f7b055bbae4e7 Content-Type: text/plain; charset="UTF-8" It looks like the ocaml.org https certificate expired today. -- Milo --001a113cfa504e3f7b055bbae4e7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable --001a113cfa504e3f7b055bbae4e7--