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