[MacPorts] #14682: polyml checksum failure

[MacPorts]

#14682: polyml checksum failure
---------------------------------------+------------------------------------
  Reporter:  rzilibowitz at yahoo.com.au  |       Owner:  mww at macports.org
      Type:  defect                    |      Status:  new             
  Priority:  Normal                    |   Milestone:  Port Bugs       
 Component:  ports                     |     Version:  1.6.0           
Resolution:                            |    Keywords:                  
---------------------------------------+------------------------------------
Changes (by jmr at macports.org):

  * owner:  macports-tickets at lists.macosforge.org => mww at macports.org
  * summary:  isabelle on Mac OS 10.5.2 install failure => polyml checksum
              failure
  * milestone:  => Port Bugs

Comment:

 Assigning to maintainer. Your output actually shows a checksum mismatch
 for polyml. The file checksum matches for me BTW; so run `sudo port clean
 --all polyml` and try again.

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