[MacPorts] #14682: isabelle on Mac OS 10.5.2 install failure
#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
#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
#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: ---------------------------------------+------------------------------------ Changes (by reiffert@macports.org): * status: new => closed * resolution: => worksforme Comment: It looks like sourceforge was delivering 0 byte files at some time yesterday. -- Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/14682#comment:2> MacPorts </projects/macports> Ports system for Mac OS
#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
participants (1)
-
MacPorts