#14682: polyml checksum failure ---------------------------------------+------------------------------------ Reporter: rzilibowitz@yahoo.com.au | Owner: mww@macports.org Type: defect | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.6.0 Resolution: | Keywords: ---------------------------------------+------------------------------------ Changes (by jmr@macports.org): * owner: macports-tickets@lists.macosforge.org => mww@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