From mkb@wi4d22.informatik.uni-wuerzburg.de Fri Apr 19 07:34:57 2002 Return-Path: Received: from reiher.informatik.uni-wuerzburg.de (wi4d22.informatik.uni-wuerzburg.de [132.187.101.122]) by hub.freebsd.org (Postfix) with ESMTP id A5D5937B419 for ; Fri, 19 Apr 2002 07:34:56 -0700 (PDT) Received: by reiher.informatik.uni-wuerzburg.de (Postfix, from userid 1001) id 523F7AEDD; Fri, 19 Apr 2002 16:34:55 +0200 (CEST) Message-Id: <20020419143455.523F7AEDD@reiher.informatik.uni-wuerzburg.de> Date: Fri, 19 Apr 2002 16:34:55 +0200 (CEST) From: Matthias Buelow Reply-To: Matthias Buelow To: FreeBSD-gnats-submit@freebsd.org Cc: Subject: upgrade-request: moscow_ml port to 2.0 X-Send-Pr-Version: 3.113 X-GNATS-Notify: >Number: 37252 >Category: ports >Synopsis: upgrade-request: moscow_ml port to 2.0 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: closed >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Fri Apr 19 07:40:01 PDT 2002 >Closed-Date: Thu May 30 21:02:55 PDT 2002 >Last-Modified: Thu May 30 21:02:55 PDT 2002 >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: State-Changed-From-To: open->closed State-Changed-By: jkoshy State-Changed-When: Thu May 30 20:58:45 PDT 2002 State-Changed-Why: The port has been upgraded to v2.0; thanks goes to Johannes 5 Joemann for creating a suitable patch. http://www.freebsd.org/cgi/query-pr.cgi?pr=37252 >Unformatted: