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 4B3937F75D for ; Thu, 30 Jan 2014 11:30:16 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jun.furuse@gmail.com) identity=pra; client-ip=74.125.82.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jun.furuse@gmail.com designates 74.125.82.53 as permitted sender) identity=mailfrom; client-ip=74.125.82.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="jun.furuse@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f53.google.com) identity=helo; client-ip=74.125.82.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jun.furuse@gmail.com"; x-sender="postmaster@mail-wg0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUDAD0p6lJKfVI1lGdsb2JhbABZg0RXqV4yij2IVH0IFg4BAQEBBwsLCRIqgiUBAQEDAUABGxIEBwEDAQsGBQQHAwoNISIBEQEFAQoSBhMSh14BAwkIDZ5cjFyDCZMRChknAwpkiDgRAQUMjnIEB4Q4BIlHjmGBMo8AGCmCbIF6Lw X-IPAS-Result: AoUDAD0p6lJKfVI1lGdsb2JhbABZg0RXqV4yij2IVH0IFg4BAQEBBwsLCRIqgiUBAQEDAUABGxIEBwEDAQsGBQQHAwoNISIBEQEFAQoSBhMSh14BAwkIDZ5cjFyDCZMRChknAwpkiDgRAQUMjnIEB4Q4BIlHjmGBMo8AGCmCbIF6Lw X-IronPort-AV: E=Sophos;i="4.95,748,1384297200"; d="scan'208";a="47057571" Received: from mail-wg0-f53.google.com ([74.125.82.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Jan 2014 11:30:15 +0100 Received: by mail-wg0-f53.google.com with SMTP id y10so5961333wgg.32 for ; Thu, 30 Jan 2014 02:30:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=J/zXEwtynQRabye11SD64knKP4s2Mzym2GYnJuVeWWs=; b=sE+4behUbWPP85g69JJjoiuGUuzFEQFlOQTHEy2FhsXN9CLqM1uD5kkuTFhwovF8Z7 SlITOOnwJFWFb3d1g9sLzj4cXIOvKiRgp1Trx99Z92QEHbP7N3FrOR/FLzViHL3sQ5e0 yK5vtbgVpRyGH2GWtkOb8ieDsp2Y/lEE8q37n6Hg8m5bnT/HtW1JFc4mW9afa6v1a8Gt 1EkupI6REJu9osilcmqexrvMmeRckChqKp4+6G290HTTr6AjfmLmuhO4NdNWtqF/tYOf jHnaX+z7d/fcc/1wxu9Np9/noeboaYbos31Bml3tQiZpTM+ds7sbHmS2NSO+6bvSlhUl uixg== MIME-Version: 1.0 X-Received: by 10.194.75.198 with SMTP id e6mr8449023wjw.3.1391077815068; Thu, 30 Jan 2014 02:30:15 -0800 (PST) Received: by 10.194.173.5 with HTTP; Thu, 30 Jan 2014 02:30:15 -0800 (PST) Received: by 10.194.173.5 with HTTP; Thu, 30 Jan 2014 02:30:15 -0800 (PST) In-Reply-To: <52EA1498.3080004@robertjakob.de> References: <52EA1353.50300@riken.jp> <52EA1498.3080004@robertjakob.de> Date: Thu, 30 Jan 2014 18:30:15 +0800 Message-ID: From: Jun Furuse To: Robert Jakob Cc: caml-list Content-Type: multipart/alternative; boundary=047d7bb04adc05ae3b04f12d8b5e Subject: Re: [Caml-list] Do we have a hoogle for OCaml these days? --047d7bb04adc05ae3b04f12d8b5e Content-Type: text/plain; charset=ISO-8859-1 Hi, OCamlOScope is alive and I am planning an update in this lunar new year holidays. It has no big change from the user side, but its database creation is improved a lot especially around OCamlFind-OPAM package relationship analysis. Thanks Jun On 30 Jan, 2014 5:00 pm, "Robert Jakob" wrote: > 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. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --047d7bb04adc05ae3b04f12d8b5e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

Hi,

OCamlOScope is alive and I am planning an update in this lun= ar new year holidays. It has no big change from the user side, but its data= base creation is improved a lot especially around OCamlFind-OPAM package re= lationship analysis.

Thanks
Jun

On 30 Jan, 2014 5:00 pm, "Robert Jakob"= ; <rj@robertjakob.de> wrote:=
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://ocam= loscope.herokuapp.com/ mentions OPAM in their
packages list. But I have no idea about its status.

r.

--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners<= /a>
Bug reports: http://caml.inria.fr/bin/caml-bugs
--047d7bb04adc05ae3b04f12d8b5e--