delorie.com/archives/browse.cgi | search |
X-Spam-Check-By: | sourceware.org |
Message-ID: | <8363ea9c0705310635y79e08219wc7a121567c955e16@mail.gmail.com> |
Date: | Thu, 31 May 2007 09:35:10 -0400 |
From: | "Wei-Hao Lin" <cybermax AT gmail DOT com> |
To: | cygwin AT cygwin DOT com |
Subject: | Re: OCaml package hasn't updated for a while |
Cc: | pechtcha AT cs DOT nyu DOT edu |
In-Reply-To: | <f32e5i$2va$2@sea.gmane.org> |
MIME-Version: | 1.0 |
References: | <8363ea9c0705230910l252f2216y1ad42c56d7c21c19 AT mail DOT gmail DOT com> <f32e5i$2va$2 AT sea DOT gmane DOT org> |
X-IsSubscribed: | yes |
Mailing-List: | contact cygwin-help AT cygwin DOT com; run by ezmlm |
List-Id: | <cygwin.cygwin.com> |
List-Unsubscribe: | <mailto:cygwin-unsubscribe-archive-cygwin=delorie DOT com AT cygwin DOT com> |
List-Subscribe: | <mailto:cygwin-subscribe AT cygwin DOT com> |
List-Archive: | <http://sourceware.org/ml/cygwin/> |
List-Post: | <mailto:cygwin AT cygwin DOT com> |
List-Help: | <mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs> |
Sender: | cygwin-owner AT cygwin DOT com |
Mail-Followup-To: | cygwin AT cygwin DOT com |
Delivered-To: | mailing list cygwin AT cygwin DOT com |
On 5/23/07, Matthew Woehlke <mw_triad AT users DOT sourceforge DOT net> wrote: > Wei-Hao Lin wrote: > > OCaml 3.10 is just released. The Cygwin ocaml package generously > > contributed by Igor Pechtchanski in 2004, however, is still 3.08.1. > > Although OCaml can be compiled under Cygwin without any change, surely > > it will save some time if OCaml package is updated and made available > > via Cygwin distribution. > > Maintainers Thoughtfully Considered? :-) I don't mind maintaining the ocaml package, but I would like to ping again and see what the current maintainer, Igor Pechtchanski, thinks. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/
webmaster | delorie software privacy |
Copyright © 2019 by DJ Delorie | Updated Jul 2019 |