[MacPorts] #59777: fstar: patch fails
MacPorts
noreply at macports.org
Sat Nov 30 20:31:49 UTC 2019
#59777: fstar: patch fails
-------------------------+----------------------
Reporter: ryandesign | Owner: landonf
Type: defect | Status: accepted
Priority: Normal | Milestone:
Component: ports | Version: 2.6.2
Resolution: | Keywords:
Port: fstar |
-------------------------+----------------------
Changes (by landonf):
* status: assigned => accepted
--
Ticket URL: <https://trac.macports.org/ticket/59777#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list