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 sympa.inria.fr (Postfix) with ESMTPS id 4C84A7EEEF for ; Mon, 22 Jun 2015 20:45:06 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CjBgAUV4hV/zPhmQVcgxBUFUq5YYYShgACCIE0TAEBAQEBAYELhCMBAQQ6PxALGC4hNgYTiBoDFsU1DYVbAQEBAQYBAQEBAQEBARqLRYJNgU0qDzMHMIJngRQFk32EVoUXgWEBgTlBhjeHfmmDPYNbJmODF26BBYFDAQEB X-IPAS-Result: A0CjBgAUV4hV/zPhmQVcgxBUFUq5YYYShgACCIE0TAEBAQEBAYELhCMBAQQ6PxALGC4hNgYTiBoDFsU1DYVbAQEBAQYBAQEBAQEBARqLRYJNgU0qDzMHMIJngRQFk32EVoUXgWEBgTlBhjeHfmmDPYNbJmODF26BBYFDAQEB X-IronPort-AV: E=Sophos;i="5.13,660,1427752800"; d="scan'208";a="166704413" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jun 2015 20:45:05 +0200 Received: from [192.168.1.75] (cpc7-cmbg14-2-0-cust238.5-4.cable.virginm.net [86.30.244.239]); by bark.recoil.org (OpenSMTPD) with ESMTPSA id f2a72922; TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NO; Mon, 22 Jun 2015 19:45:04 +0100 (BST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2098\)) From: Anil Madhavapeddy In-Reply-To: Date: Mon, 22 Jun 2015 19:45:03 +0100 Cc: Ocaml Mailing List Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Yotam Barnoy X-Mailer: Apple Mail (2.2098) Subject: Re: [Caml-list] OPAM down? On 22 Jun 2015, at 19:41, Yotam Barnoy wrote: >=20 > Looks like OPAM just went down. Anyone have any idea about what's going o= n? The VM ran into a few snags when upgrading from Debian Wheezy to Jessie. T= he backup from just before the update is being restored and should be done = shortly to get it operational again. As a reminder, if the VM goes down, then all is never lost. You can do: opam init git://github.com/ocaml/opam-repository to initialise from the stable remote as well. Or: opam repository set-url default git://github.com/ocaml/opam-repository To use it if you have already initialised your local OPAM. -anil=