delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2007/05/31/09:35:35

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/

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019