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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 003CB7F2A1 for ; Sat, 15 Dec 2012 00:15:45 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=74.125.82.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of wojciech.meyer@gmail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArkCANqyy1BKfVK2k2dsb2JhbABFg0iCK7kWFg4BAQEBCQkLCRQEI4IeAQEEAUABGx0BAwELBgULFiUPAQQPEQEFASITiAABAwkGBJ45jDOCe4ULChknDVmIdgEFDJEOA5YJgRyNTD+EFA X-IronPort-AV: E=Sophos;i="4.84,284,1355094000"; d="scan'208";a="165902885" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Dec 2012 00:15:18 +0100 Received: by mail-we0-f182.google.com with SMTP id u54so1803718wey.27 for ; Fri, 14 Dec 2012 15:15:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:from:to:cc:subject:in-reply-to:references:user-agent :date:message-id:mime-version:content-type; bh=IP/ZiHWc22z4vDKnLg7n40FvtdhsWyrfuW02dYIMXqk=; b=fTGvOIrV7LVcgKpkBbhXxamAJXjR5iJDs0STiaoG56YnWKklGbmLtTQYLVrySviO1d cix1csG1FkjSjFgbrf3Z2QATDvMeg93oftgdXFkPDkY4s4mcaHrlI7yJ7jJm8hGe8dn5 G+Ah59r3Km8FqPvN+krfXcDFcnfGmdtVH2gNH5/KDU7ucHpUhlkAf8z33KidaI7r5Dax 3O2LkhLfHO5E8eSmEKJ26ORts8r901ezkahopOj3y9GCTiKhVGVVXPPG8FhjEQI4xe8x kObxuehy2g02qutBMEgjYIE1cJtPNV9usmSDTK1NFXrMmtt5Sy4Tk7bfaCqGsCsf+xhw ShWg== X-Received: by 10.180.93.3 with SMTP id cq3mr5554875wib.1.1355526918031; Fri, 14 Dec 2012 15:15:18 -0800 (PST) Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com. [86.9.116.202]) by mx.google.com with ESMTPS id fv2sm14474834wib.4.2012.12.14.15.15.16 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 14 Dec 2012 15:15:17 -0800 (PST) From: Wojciech Meyer To: Thomas Gazagnaire Cc: OCaml mailing-list , Daniel =?utf-8?Q?B=C3=BCnzli?= In-Reply-To: <28D2FDF4-81FB-4368-B331-7811DD606A0E@ocamlpro.com> (Thomas Gazagnaire's message of "Fri, 14 Dec 2012 23:54:44 +0100") References: <28D2FDF4-81FB-4368-B331-7811DD606A0E@ocamlpro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux) Date: Fri, 14 Dec 2012 23:15:25 +0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] [RFC] new OPAM command-line interface Thomas Gazagnaire writes: > What do you mean ? Are you looking for 'git checkout cmdliner' ? Actually, rather: opam install opam-git {some variable substitution that specifies branch} > Thanks! We should thank Daniel for its nice library :-) yep, Cmdliner is one of these libraries that is just fun to use. -- Wojciech Meyer http://danmey.org