From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 3CBE5BBC1 for ; Mon, 28 Apr 2008 00:43:50 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8AAFOeFEjU4368mWdsb2JhbACBU5AHAQEBAQEIBQYJEQOWdQE X-IronPort-AV: E=Sophos;i="4.25,713,1199660400"; d="scan'208";a="12009402" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Apr 2008 00:43:49 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3RMhnXv014781 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 28 Apr 2008 00:43:49 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8AAFOeFEjU4368mWdsb2JhbACBU5AHAQEBAQEIBQYJEQOWdQE X-IronPort-AV: E=Sophos;i="4.25,713,1199660400"; d="scan'208";a="12009401" Received: from moutng.kundenserver.de ([212.227.126.188]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Apr 2008 00:43:48 +0200 Received: from gate.lan.gerd-stolpmann.de (dslb-084-059-126-248.pools.arcor-ip.net [84.59.126.248]) by mrelayeu.kundenserver.de (node=mrelayeu5) with ESMTP (Nemesis) id 0ML25U-1JqFb22PQq-0001a4; Mon, 28 Apr 2008 00:43:48 +0200 Received: from [192.168.0.32] (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 43668C141; Mon, 28 Apr 2008 00:43:48 +0200 (CEST) Subject: GODI News: The library browser From: Gerd Stolpmann To: caml-list caml-list Cc: godi-list Content-Type: text/plain Date: Mon, 28 Apr 2008 00:44:55 +0200 Message-Id: <1209336295.24467.21.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX18BajP+qfBivRaf2t2/rXGnKzMWppF8bWGlSAn IAmG68MNV08JZ7giVIYDD2NVJFyUsd5XYPnQBCbCd2TE9sT3p2 VNLl2pkHQUa+d9SMH0rOuruGgDJveGz X-Miltered: at concorde with ID 481501A5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 ocaml:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 6151:01 6151:01 library:03 reachable:05 problem:05 docs:07 docs:07 Hi, I've again enhanced the service on camlcity.org. This time I've added a browser for all GODI libraries. Look here, it's impressive how many libraries are available: http://docs.camlcity.org/docs/godilib/3.10 So the next time somebody doubts that ocaml has enough support, just point to this list. The package browser is also available: http://docs.camlcity.org/docs/godipkg/3.10 These pages are also reachable over docs.camlcity.org. Comments are very welcome. Gerd P.S. I've also fixed today about 10 GODI packages that did not build. If you've also run into this problem, you should try again now. Only 2 packages are not installable right now due to missing ports. -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------