Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 19 Mar 2006 02:00:37 GMT
From:      Timothy Bourke <timbob@bigpond.com>
To:        freebsd-ports-bugs@FreeBSD.org
Subject:   Re: ports/94667: [UPDATE] lang/polyml 4.1.3 -> 4.2.0
Message-ID:  <200603190200.k2J20bbW034361@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/94667; it has been noted by GNATS.

From: Timothy Bourke <timbob@bigpond.com>
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/94667: [UPDATE] lang/polyml 4.1.3 -> 4.2.0
Date: Sun, 19 Mar 2006 12:55:05 +1100

 --GpGaEY17fSl8rd50
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 Upcoming math/isabelle update will be 2004 -> 2005.
 
 
 --GpGaEY17fSl8rd50
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v1.4.0 (FreeBSD)
 
 iD8DBQFEHLn5tKVK1sFb0ecRAocKAJ0UcqAItoWeaZQyI23li/C77XDKegCfUHQu
 6Qm702c+FmXERj4GpAh9RV8=
 =8E43
 -----END PGP SIGNATURE-----
 
 --GpGaEY17fSl8rd50--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200603190200.k2J20bbW034361>