[MacPorts] #14682: isabelle on Mac OS 10.5.2 install failure

[MacPorts]

#14682: isabelle on Mac OS 10.5.2 install failure
--------------------------------------+-------------------------------------
 Reporter:  rzilibowitz at yahoo.com.au  |       Owner:  macports-tickets at lists.macosforge.org
     Type:  defect                    |      Status:  new                                  
 Priority:  Normal                    |   Milestone:                                       
Component:  ports                     |     Version:  1.6.0                                
 Keywords:                            |  
--------------------------------------+-------------------------------------
 The below text was copied out of my terminal window.
 {{{
 $ sudo port install isabelle
 --->  Fetching polyml
 --->  Attempting to fetch polyml.5.1.tar.gz from
 http://downloads.sourceforge.net/polyml
 --->  Verifying checksum(s) for polyml
 Error: Checksum (sha1) mismatch for polyml.5.1.tar.gz
 Error: Target org.macports.checksum returned: Unable to verify file
 checksums
 Error: The following dependencies failed to build: polyml
 Error: Status 1 encountered during processing.
 }}}

-- 
Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/14682>
MacPorts </projects/macports>
Ports system for Mac OS