#14682: isabelle on Mac OS 10.5.2 install failure --------------------------------------+------------------------------------- Reporter: rzilibowitz@yahoo.com.au | Owner: macports-tickets@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