[MacPorts] #59484: fstar, fstar-devel: ocamlfind: Package `camlp4' not found - required by `ulex' (was: fstar-devel: ocamlfind: Package `camlp4' not found - required by `ulex')
MacPorts
noreply at macports.org
Sat Oct 26 04:48:35 UTC 2019
#59484: fstar, fstar-devel: ocamlfind: Package `camlp4' not found - required by
`ulex'
---------------------------------+----------------------
Reporter: ryandesign | Owner: landonf
Type: defect | Status: assigned
Priority: Normal | Milestone:
Component: ports | Version: 2.6.2
Resolution: | Keywords:
Port: fstar, fstar-devel |
---------------------------------+----------------------
Changes (by ryandesign):
* port: fstar-devel => fstar, fstar-devel
Comment:
[https://build.macports.org/builders/ports-10.14_x86_64-builder/builds/43909/steps
/install-port/logs/stdio Same with fstar].
--
Ticket URL: <https://trac.macports.org/ticket/59484#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list