[MacPorts] #59484: fstar, fstar-devel: ocamlfind: Package `camlp4' not found - required by `ulex'
MacPorts
noreply at macports.org
Wed Nov 27 21:15:47 UTC 2019
#59484: fstar, fstar-devel: ocamlfind: Package `camlp4' not found - required by
`ulex'
---------------------------------+---------------------
Reporter: ryandesign | Owner: landonf
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.6.2
Resolution: fixed | Keywords:
Port: fstar, fstar-devel |
---------------------------------+---------------------
Changes (by landonf):
* status: assigned => closed
* resolution: => fixed
Comment:
Should be resolved as of commit c73d093e53bd977846562e740077d66719a9298e
--
Ticket URL: <https://trac.macports.org/ticket/59484#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list