From owner-freebsd-ports@freebsd.org  Fri Jul  8 11:08:34 2016
Return-Path: <owner-freebsd-ports@freebsd.org>
Delivered-To: freebsd-ports@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 1EDBEB82FE1
 for <freebsd-ports@mailman.ysv.freebsd.org>;
 Fri,  8 Jul 2016 11:08:34 +0000 (UTC) (envelope-from lists@opsec.eu)
Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org
 [IPv6:2001:1900:2254:206a::50:5])
 by mx1.freebsd.org (Postfix) with ESMTP id 0ECA5183B
 for <freebsd-ports@freebsd.org>; Fri,  8 Jul 2016 11:08:34 +0000 (UTC)
 (envelope-from lists@opsec.eu)
Received: by mailman.ysv.freebsd.org (Postfix)
 id 0A7C3B82FE0; Fri,  8 Jul 2016 11:08:34 +0000 (UTC)
Delivered-To: ports@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 0A24FB82FDF
 for <ports@mailman.ysv.freebsd.org>; Fri,  8 Jul 2016 11:08:34 +0000 (UTC)
 (envelope-from lists@opsec.eu)
Received: from home.opsec.eu (home.opsec.eu [IPv6:2001:14f8:200::1])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id C4567183A
 for <ports@FreeBSD.org>; Fri,  8 Jul 2016 11:08:33 +0000 (UTC)
 (envelope-from lists@opsec.eu)
Received: from pi by home.opsec.eu with local (Exim 4.87 (FreeBSD))
 (envelope-from <lists@opsec.eu>)
 id 1bLTe5-000PDA-2e; Fri, 08 Jul 2016 13:08:33 +0200
Date: Fri, 8 Jul 2016 13:08:33 +0200
From: Kurt Jaeger <lists@opsec.eu>
To: Eduardo Morras <emorrasg@yahoo.es>
Cc: ports@FreeBSD.org
Subject: Re: FreeBSD Port: lang/maude
Message-ID: <20160708110832.GA95302@home.opsec.eu>
References: <20160708125449.1ebe20443e1e1ef1f7e24862@yahoo.es>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20160708125449.1ebe20443e1e1ef1f7e24862@yahoo.es>
X-BeenThere: freebsd-ports@freebsd.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Porting software to FreeBSD <freebsd-ports.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-ports>,
 <mailto:freebsd-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports/>
List-Post: <mailto:freebsd-ports@freebsd.org>
List-Help: <mailto:freebsd-ports-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
 <mailto:freebsd-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 08 Jul 2016 11:08:34 -0000

Hello,

> Hello, I'm not on the list, reply me directly. Note I'm not a
> Maude user/developer.
> 
> Current source:
> 
> http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.7.tar.gz
> 
> Homepage:
> 
> http://maude.cs.illinois.edu/

Please look at 

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=210018

where an upgrade is discussed and it looks like providing a patch
is non-trivial.

-- 
pi@opsec.eu            +49 171 3101372                         4 years to go !