[MacPorts] #14682: polyml checksum failure

[MacPorts]

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

 Run sudo port clean --all isabelle and try again.

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