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 D476A81799 for ; Tue, 23 Jul 2013 18:32:25 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhEDAFyv7lFKN1ZKfmdsb2JhbABagzuDWb06gSkOAQEJCwwIFCiCJQEFI1YQCxoCJgICRxAGG4gIBAime5FsgSiOIjMHgl8zbgOZCIRnE44/ X-IPAS-Result: AhEDAFyv7lFKN1ZKfmdsb2JhbABagzuDWb06gSkOAQEJCwwIFCiCJQEFI1YQCxoCJgICRxAGG4gIBAime5FsgSiOIjMHgl8zbgOZCIRnE44/ X-IronPort-AV: E=Sophos;i="4.89,729,1367964000"; d="scan'208";a="22037531" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jul 2013 18:32:25 +0200 Received: from [172.20.10.2] (188.29.164.16.threembb.co.uk [188.29.164.16]) by smtp.webfaction.com (Postfix) with ESMTP id A026220FBBD1; Tue, 23 Jul 2013 16:32:23 +0000 (UTC) Date: Tue, 23 Jul 2013 17:32:18 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Pierre-Etienne Meunier Cc: caml list Message-ID: <588C8EF12280489796ED6DA6EC08E042@erratique.ch> 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> X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] Re: [Godi-list] GODI is shutting down Le mardi, 23 juillet 2013 =C3=A0 17:19, Pierre-Etienne Meunier a =C3=A9crit= : > This is awesome! Is there a simple documentation somewhere? What made me = think there was a dictator is the fact that the documentation only mentions= "*the* official repository". The packaging section [1] of opam's docs will tell you how to make a local = repo. Other than that this thread [2] tells you how to make an http repo.= =20=20 Best, Daniel [1] http://opam.ocamlpro.com/doc/Packaging.html [2] https://sympa.inria.fr/sympa/arc/caml-list/2013-07/msg00011.html