[MacPorts] #59777: fstar: patch fails

[MacPorts]

#59777: fstar: patch fails
------------------------+----------------------
 Reporter:  ryandesign  |      Owner:  landonf
     Type:  defect      |     Status:  assigned
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:  2.6.2
 Keywords:              |       Port:  fstar
------------------------+----------------------
 See
 https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/72770/steps
 /install-port/logs/stdio

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