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

[MacPorts]

#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


Comment:

 In [changeset:"202eaebc57fa1551ee7d8a03a9f893030f404a61/macports-ports"
 202eaebc57fa1551ee7d8a03a9f893030f404a61/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="202eaebc57fa1551ee7d8a03a9f893030f404a61"
 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