New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #14682 (closed defect: worksforme)

Opened 5 years ago

Last modified 4 years ago

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

comment:1 Changed 5 years ago by jmr@…

  • Owner changed from macports-tickets@… to mww@…
  • Milestone set to Port Bugs
  • Summary changed from isabelle on Mac OS 10.5.2 install failure to 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 5 years ago by reiffert@…

  • Status changed from new to closed
  • Resolution set to worksforme

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

comment:3 Changed 5 years ago by reiffert@…

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

comment:4 Changed 4 years ago by anonymous

  • Milestone Port Bugs deleted

Milestone Port Bugs deleted

Note: See TracTickets for help on using tickets.