[MacPorts] #59777: fstar: patch fails

[MacPorts]

#59777: fstar: patch fails
-------------------------+---------------------
  Reporter:  ryandesign  |      Owner:  landonf
      Type:  defect      |     Status:  closed
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:  2.6.2
Resolution:  fixed       |   Keywords:
      Port:  fstar       |
-------------------------+---------------------
Changes (by landonf):

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


Comment:

 In [changeset:"a49fc9cf670c12d32969b6e011b8cb754a43327d/macports-ports"
 a49fc9cf670c12d32969b6e011b8cb754a43327d/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="a49fc9cf670c12d32969b6e011b8cb754a43327d"
 fstar|kremlin: fix broken fstar patch, restore stable fstar/kremlin
 revisions accidentally reset by 'port bump'

 Closes: https://trac.macports.org/ticket/59777
 }}}

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