[MacPorts] #68120: fstar: Update to 2023.09.03
MacPorts
noreply at macports.org
Wed Sep 20 03:56:30 UTC 2023
#68120: fstar: Update to 2023.09.03
-------------------------+----------------------
Reporter: ryandesign | Owner: landonf
Type: update | Status: assigned
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: | Keywords:
Port: fstar |
-------------------------+----------------------
Comment (by ryandesign):
This may fix the problems I reported in #67972.
--
Ticket URL: <https://trac.macports.org/ticket/68120#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list