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 8FB987F71A for ; Thu, 30 Jan 2014 10:00:09 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rj@robertjakob.de) identity=pra; client-ip=37.59.40.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rj@robertjakob.de"; x-sender="rj@robertjakob.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rj@robertjakob.de) identity=mailfrom; client-ip=37.59.40.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rj@robertjakob.de"; x-sender="rj@robertjakob.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@robertjakob.de) identity=helo; client-ip=37.59.40.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rj@robertjakob.de"; x-sender="postmaster@robertjakob.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkMACkU6lIlOygy/2dsb2JhbABZgww4EAO9WAoLehZ0giUBAQEEOEARCxgJFg8JAwIBAgFFEwgBAYgBBAnLRhePBhYYhAoEmVqFEQWLV4Mu X-IPAS-Result: AtkMACkU6lIlOygy/2dsb2JhbABZgww4EAO9WAoLehZ0giUBAQEEOEARCxgJFg8JAwIBAgFFEwgBAYgBBAnLRhePBhYYhAoEmVqFEQWLV4Mu X-IronPort-AV: E=Sophos;i="4.95,748,1384297200"; d="scan'208";a="47034813" Received: from robertjakob.de ([37.59.40.50]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jan 2014 10:00:09 +0100 Received: from [132.230.166.148] (waialeale.informatik.uni-freiburg.de [132.230.166.148]) by robertjakob.de (Postfix) with ESMTPSA id 14AE9809F7 for ; Thu, 30 Jan 2014 10:00:08 +0100 (CET) Message-ID: <52EA1498.3080004@robertjakob.de> Date: Thu, 30 Jan 2014 10:00:08 +0100 From: Robert Jakob User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.18) Gecko/20110616 Thunderbird/3.1.11 MIME-Version: 1.0 To: caml-list@inria.fr References: <52EA1353.50300@riken.jp> In-Reply-To: <52EA1353.50300@riken.jp> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Do we have a hoogle for OCaml these days? On 01/30/2014 09:54 AM, Francois Berenger wrote: > Since we have OPAM now, I am just dreaming > about the next tool allowing a productivity boost > to all OCaml programmers. > > I know that some projects were under construction > a few months ago but not yet ready for mass consumption. > I wonder about their current status. > http://ocamloscope.herokuapp.com/ mentions OPAM in their packages list. But I have no idea about its status. r.