[MacPorts] #67972: fstar @2022.06.08: /bin/sh: line 0: [: 06 shift/reduce conflicts.: integer expression expected

[MacPorts]

#67972: fstar @2022.06.08: /bin/sh: line 0: [: 06 shift/reduce conflicts.: integer
expression expected
-------------------------+----------------------
  Reporter:  ryandesign  |      Owner:  landonf
      Type:  defect      |     Status:  assigned
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:  2.8.1
Resolution:              |   Keywords:
      Port:  fstar       |
-------------------------+----------------------

Comment (by ryandesign):

 Just fixing the sed syntax does not fix the build failure.

 The code containing this sed line has been removed in fstar 2023.09.03 so
 maybe updating to that version is a good first thing to try: #68120

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