[MacPorts] #60336: fstar-devel: Hunk #1 FAILED at 294

MacPorts noreply at macports.org
Thu Apr 9 17:02:44 UTC 2020

#60336: fstar-devel: Hunk #1 FAILED at 294
  Reporter:  ryandesign   |      Owner:  landonf
      Type:  defect       |     Status:  closed
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.6.2
Resolution:  fixed        |   Keywords:
      Port:  fstar-devel  |
Changes (by landonf):

 * status:  assigned => closed
 * resolution:   => fixed


 In [changeset:"202eaebc57fa1551ee7d8a03a9f893030f404a61/macports-ports"
 202eaebc57fa1551ee7d8a03a9f893030f404a61/macports-ports] (master):
 #!ConfigurableCommitTicketReference repository="macports-ports"
 fstar-devel: Drop now-unnecessary patch, and revision bump dependents.

 Unfortunately, this patch applied successfully in testing, but failed on
 macOS, due to my FreeBSD test system's more forgiving patch(1) with
 support for fuzzy matching.

 Closes: https://trac.macports.org/ticket/60336

Ticket URL: <https://trac.macports.org/ticket/60336#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS

More information about the macports-tickets mailing list