Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] GODI News: The library browser

2 views
Skip to first unread message

Gerd Stolpmann

unread,
Apr 27, 2008, 6:44:05 PM4/27/08
to caml-list caml-list, godi-list
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
ge...@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------


_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Richard Jones

unread,
Apr 27, 2008, 6:53:30 PM4/27/08
to Gerd Stolpmann, caml-list caml-list, godi-list
On Mon, Apr 28, 2008 at 12:44:55AM +0200, Gerd Stolpmann wrote:
> 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

Nice .. Does GODI track package popularity, like Debian's popcon?

Rich.

--
Richard Jones
Red Hat

Gerd Stolpmann

unread,
Apr 27, 2008, 7:39:41 PM4/27/08
to Richard Jones, caml-list caml-list, godi-list

Am Sonntag, den 27.04.2008, 23:53 +0100 schrieb Richard Jones:
> On Mon, Apr 28, 2008 at 12:44:55AM +0200, Gerd Stolpmann wrote:
> > 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
>
> Nice .. Does GODI track package popularity, like Debian's popcon?

No, I don't have these data. I couldn't even extract it from log files,
because GODI fetches the source files from the original servers if
possible at all, and falls back to GODI-specific servers only if that
fails.

So for popularity we would need an extension that does not exist.

Gerd


--
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
ge...@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------

0 new messages