From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 47B167EEEF for ; Mon, 22 Jun 2015 20:41:31 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.160.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.160.182 as permitted sender) identity=mailfrom; client-ip=209.85.160.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f182.google.com) identity=helo; client-ip=209.85.160.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-yk0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AlAgBcVohVlLagVdFchEMGgxiqHYYPhheNSQdMAQEBAQEBEgEBAQEHCwsJHzCEOxEdARseAxIIAQIFNwIkAREBBQEiGxqHdwEDEqUagzE+MYs/gWuCeYsMChknDVeFBCYBBQ6TLIFDBZN9i06WZxIjgQwJF3KDMiIxgkgBAQE X-IPAS-Result: A0AlAgBcVohVlLagVdFchEMGgxiqHYYPhheNSQdMAQEBAQEBEgEBAQEHCwsJHzCEOxEdARseAxIIAQIFNwIkAREBBQEiGxqHdwEDEqUagzE+MYs/gWuCeYsMChknDVeFBCYBBQ6TLIFDBZN9i06WZxIjgQwJF3KDMiIxgkgBAQE X-IronPort-AV: E=Sophos;i="5.13,660,1427752800"; d="scan'208";a="137378302" Received: from mail-yk0-f182.google.com ([209.85.160.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jun 2015 20:41:30 +0200 Received: by ykdy1 with SMTP id y1so27744020ykd.2 for ; Mon, 22 Jun 2015 11:41:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=mp3/h4IgbItkupylHh6nfXOApUkOnV7pfd54Cp0KWSg=; b=ETemvpIL9hTmWtUEudq/AKGNxDF33G+dj9nlxhLnLX8wCy4ujxgwHcfxUK/4XE12UN ZHeoePVczbdsyH801clRDY/HQuhBIfqKh01XnSJFLo4LStDwBE927Oc34LDEgLDADf6x RnTevAlxkwG9PERRGQcg2TgpRGKOeWQ7vC2lsg/NloYDz/lPH7J+d75qEoZMWFZl7ykI nTzxUUQIRVSbvyhUBw75+cZ/C5HTKVgM7xzyUw0kNKkeqRJZiP+p0lea6DzabjJc7Wm5 XjY8uHJ/dFGLYFZuJkOJIcGjQgeCHiAJlgL90hOxFi/eF+C5IaVQohV+LkzAQQDAJcGD gbVQ== X-Received: by 10.170.224.65 with SMTP id q62mr7636536ykf.75.1434998488990; Mon, 22 Jun 2015 11:41:28 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.123.5 with HTTP; Mon, 22 Jun 2015 11:41:09 -0700 (PDT) From: Yotam Barnoy Date: Mon, 22 Jun 2015 14:41:09 -0400 Message-ID: To: Ocaml Mailing List Content-Type: multipart/alternative; boundary=001a113a6f96308b4705191f9ff1 Subject: [Caml-list] OPAM down? --001a113a6f96308b4705191f9ff1 Content-Type: text/plain; charset=UTF-8 Looks like OPAM just went down. Anyone have any idea about what's going on? -Yotam --001a113a6f96308b4705191f9ff1 Content-Type: text/html; charset=UTF-8
Looks like OPAM just went down. Anyone have any idea about what's going on?

-Yotam
--001a113a6f96308b4705191f9ff1--