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 E047E81799 for ; Tue, 23 Jul 2013 18:26:51 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.214.173 as permitted sender) identity=mailfrom; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; 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-ob0-f173.google.com) identity=helo; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-ob0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwCADSu7lHRVdatk2dsb2JhbABahAvAQIELCBYOAQEBAQcLCwkUBCSCGwoBBUABGx0BAwwGBQMBBzshAQERAQUBHAYTCId1AQMPmwOMT4J/hGgKGScNZId0AQUMjQaCaweEAAOVdoFpjCeDQRYphFYg X-IPAS-Result: AmwCADSu7lHRVdatk2dsb2JhbABahAvAQIELCBYOAQEBAQcLCwkUBCSCGwoBBUABGx0BAwwGBQMBBzshAQERAQUBHAYTCId1AQMPmwOMT4J/hGgKGScNZId0AQUMjQaCaweEAAOVdoFpjCeDQRYphFYg X-IronPort-AV: E=Sophos;i="4.89,728,1367964000"; d="scan'208";a="27052502" Received: from mail-ob0-f173.google.com ([209.85.214.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 18:26:51 +0200 Received: by mail-ob0-f173.google.com with SMTP id er7so2009592obc.4 for ; Tue, 23 Jul 2013 09:26:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=YAjb4DyUF5qRES/H/kzF9UzUdlVKlQNoCdPM/VwIQ1k=; b=wArszlIPbCRCEthlyXcThzSL78XHlTjcSFU4hmSxf0Qj/A73f4EkmLI0SI3FKf0oK/ DTgy+omY9liMOuB5TvNO+Wf+8ar6qtURj4M92/Ou2/dwEx0kFeIuYlM3mpLBM+HaS7ih sUaAS7cLb0OvcBfxYo68l02uUb2B31/qu+5xiU/DNYKVJU3Rv40kdOICNj3+Nvq9wurb xh9xPAVkEYOVBAxd7hqqPYxOELb2el2pz24JQB4PVuyFEQHVwCErsMADhB9qK7loovuB v9ZNK1YRmkBtZqnEX4R/YdvquDkyA2WIOAnONp9/TWSg2iZwMtYJ+N4uBhZ7raA9SjJ9 FZ+Q== X-Received: by 10.42.80.9 with SMTP id t9mr19604974ick.14.1374596810169; Tue, 23 Jul 2013 09:26:50 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.9.46 with HTTP; Tue, 23 Jul 2013 09:26:30 -0700 (PDT) In-Reply-To: <452C67C4-CF48-4C42-88F7-1A48038D6B30@gmail.com> References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> <0825FE33-303A-464F-A089-4AF6065A2B65@gmail.com> <452C67C4-CF48-4C42-88F7-1A48038D6B30@gmail.com> From: Ashish Agarwal Date: Tue, 23 Jul 2013 12:26:30 -0400 Message-ID: To: Pierre-Etienne Meunier Cc: O Caml Content-Type: multipart/alternative; boundary=20cf300e52cf946a1d04e230421a Subject: Re: [Caml-list] Re: [Godi-list] GODI is shutting down --20cf300e52cf946a1d04e230421a Content-Type: text/plain; charset=ISO-8859-1 On Tue, Jul 23, 2013 at 12:19 PM, Pierre-Etienne Meunier < pierreetienne.meunier@gmail.com> wrote: Is there a simple documentation somewhere? opam repository --help Note the `remove` and `add` options. There is nothing special about the default one. You can remove it. --20cf300e52cf946a1d04e230421a Content-Type: text/html; charset=ISO-8859-1 On Tue, Jul 23, 2013 at 12:19 PM, Pierre-Etienne Meunier <pierreetienne.meunier@gmail.com> wrote:

Is there a simple documentation somewhere?

opam repository --help

Note the `remove` and `add` options. There is nothing special about the default one. You can remove it.

--20cf300e52cf946a1d04e230421a--