Opened 16 years ago

Closed 16 years ago

Last modified 15 years ago

#14682 closed defect (worksforme)

polyml checksum failure

Reported by: rzilibowitz@… Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: Cc:
Port:

Description

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.

Change History (4)

comment:1 Changed 16 years ago by jmroot (Joshua Root)

Milestone: → Port Bugs
Owner: changed from macports-tickets@… to mww@…
Summary: isabelle on Mac OS 10.5.2 install failure → polyml checksum failure

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.

comment:2 Changed 16 years ago by reiffert@…

Resolution: → worksforme
Status: new → closed

It looks like sourceforge was delivering 0 byte files at some time yesterday.

comment:3 Changed 16 years ago by reiffert@…

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

comment:4 Changed 15 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

Note: See TracTickets for help on using tickets.