[MacPorts] #68120: fstar: Update to 2023.09.03

Mon Sep 4 04:40:36 UTC 2023

#68120: fstar: Update to 2023.09.03
------------------------+----------------------
 Reporter:  ryandesign  |      Owner:  landonf
     Type:  update      |     Status:  assigned
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:
 Keywords:              |       Port:  fstar
------------------------+----------------------
 fstar 2023.09.03 was released today:

 https://github.com/FStarLang/FStar/releases/tag/v2023.09.03

 Maybe the port could be updated to this version.

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