ports/94667: [UPDATE] lang/polyml 4.1.3 -> 4.2.0

[Timothy Bourke]

The following reply was made to PR ports/94667; it has been noted by GNATS.

From: Timothy Bourke <timbob at bigpond.com>
To: bug-followup at 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--