Date: Fri, 19 Apr 2002 16:34:55 +0200 (CEST) From: Matthias Buelow <mkb@wi4d22.informatik.uni-wuerzburg.de> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/37252: upgrade-request: moscow_ml port to 2.0 Message-ID: <20020419143455.523F7AEDD@reiher.informatik.uni-wuerzburg.de>
next in thread | raw e-mail | index | archive | help
>Number: 37252 >Category: ports >Synopsis: upgrade-request: moscow_ml port to 2.0 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Fri Apr 19 07:40:01 PDT 2002 >Closed-Date: >Last-Modified: >Originator: Matthias Buelow >Release: FreeBSD 4.5-STABLE i386 >Organization: >Environment: System: FreeBSD reiher.informatik.uni-wuerzburg.de 4.5-STABLE FreeBSD 4.5-STABLE #1: Thu Apr 11 22:47:21 CEST 2002 mkb@reiher.informatik.uni-wuerzburg.de:/usr/src/sys/compile/REIHER i386 >Description: If the maintainer for the lang/moscow_ml port would find some time eventually, it would be nice if he/she would upgrade the port to Moscow ML 2.0 (released June 2000.) The current ports version is 1.4, which does not implement the current SML'97 standard. Thanks. >How-To-Repeat: >Fix: >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020419143455.523F7AEDD>