delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2019/11/28/10:42:46

X-Recipient: archive-cygwin AT delorie DOT com
DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id
:list-unsubscribe:list-subscribe:list-archive:list-post
:list-help:sender:mime-version:references:in-reply-to:from:date
:message-id:subject:to:cc:content-type
:content-transfer-encoding; q=dns; s=default; b=YzZgALfesnzFHdiO
TwJWwqFqxESeQKFc2K0AUSqpgT3+QBkGVJ0SUl5pztLiVKwIViSoYYVGT4p3tqJL
E8YRNrVo5Un7hGm+Bdg6jx0uyNDwoWyIbtcnc1a2A4vvD/FEHNiNCjs3l2P91kXy
ICN8vQTamZ7nr/CtBHiLVyvdsHM=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id
:list-unsubscribe:list-subscribe:list-archive:list-post
:list-help:sender:mime-version:references:in-reply-to:from:date
:message-id:subject:to:cc:content-type
:content-transfer-encoding; s=default; bh=J69lqspy8RlKISV3eriXjM
CREp0=; b=MdZ8KDf4IOTgIUukezcy9K/OHZtGCkIveHFtEI0AY/8G2WRA5ht3ie
kS3elOkty6WLElkGqifiFCDYfjAudnEeIMdDUQ/uC1S7Kh1RGl4HZ6GOsxLc8+Hm
QYPaPkXwwSjqTB+ebdG+hs6LQtBdK52kjJMjBV/Poyw2Nxlsj2teM=
Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id: <cygwin.cygwin.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
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-1.3 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.1 spammy=dune, Looking
X-HELO: mail-lf1-f43.google.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=onthewings-net.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=NLKv7BzWHdwIcYhjyAuGiMbqp8B3UOBNJmCX/AIctXE=; b=ylGJB2F+fS++tOkvv9jp7QRylKe+AWHGh+by5VPlCCHAS3adNVwj+n48DmOkPKNSAP dY5EseTxZ8C62RlkIgy2SIPgrStco805e6m692Shr2f1vICVE+7IfljxTccnuFWQK1KR xLUtdZSGUKWtEnHLPpQJPCASoaPte40gXcEQJ4TrE/MsinhANDUdMlco8dgMtmF8TGLl c4HtWFk57oVUpw4Q7nyfvXR/4Td6cSnslwNM9QekLfhPP9Ybe4XGe+8Xz+W97aw6vkdM f1+nHsxQ2OfGjnSE73S1q+qHH7bWpgrQQZDSiHoVvLv8KObFJxHmZgsqD3KG4NjLUcHT cvEg==
MIME-Version: 1.0
References: <CAM-5HMtZ_Rv1cONJWF=n9dO7GKe449dqsvuOrJfgHDe1bQ7Aeg AT mail DOT gmail DOT com> <6FA407E0-B8BC-400F-8951-7D5BFCC018DE AT metastack DOT com>
In-Reply-To: <6FA407E0-B8BC-400F-8951-7D5BFCC018DE@metastack.com>
From: Andy Li <andy AT onthewings DOT net>
Date: Thu, 28 Nov 2019 23:41:10 +0800
Message-ID: <CAM-5HMs_=MD2VBqbwD5J6f80Ccq9rxe+Y0FL-WW_kCbTEUzbsA@mail.gmail.com>
Subject: Re: Any chance of updating the ocaml package?
To: David Allsopp <David DOT Allsopp AT cl DOT cam DOT ac DOT uk>
Cc: cygwin <cygwin AT cygwin DOT com>
X-IsSubscribed: yes
X-MIME-Autoconverted: from quoted-printable to 8bit by delorie.com id xASFgIIX014151

On Thu, Nov 28, 2019 at 11:15 PM David Allsopp
<David DOT Allsopp AT cl DOT cam DOT ac DOT uk> wrote:
>
> On 28 Nov 2019, at 15:09, Andy Li <andy AT onthewings DOT net> wrote:
> >
> > Hi,
> >
> > The ocaml package is a bit dated.
> > The currently packaged version is 4.04.2, released Jun 23, 2017.
> > The latest ocaml version is 4.09.0, released Sep 18, 2019.
> > It would be great to have it updated.
> >
>
> There’s a problem which needs to be fixed in flexdll which prevents OCaml working properly on Cygwin64 at the moment. When we’ve fixed that, it’ll be possible to update the OCaml package. In the meantime, on Cygwin32, opam works to provide the more recent versions.

Thanks for the info!
I would like to package Dune. Its latest version requires at least ocaml 4.06.
Looking forward to the eventual package update.

Best,
Andy

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple


- Raw text -


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