[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