[MacPorts] #60336: fstar-devel: Hunk #1 FAILED at 294

[MacPorts]

#60336: fstar-devel: Hunk #1 FAILED at 294
------------------------+-------------------------
 Reporter:  ryandesign  |      Owner:  landonf
     Type:  defect      |     Status:  assigned
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:  2.6.2
 Keywords:              |       Port:  fstar-devel
------------------------+-------------------------
 https://build.macports.org/builders/ports-10.7_x86_64-builder/builds/21242/steps
 /install-port/logs/stdio

 {{{
 Executing:  cd
 "/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar
 /fstar-devel/work/FStar-33315726fc8832d033feda451b269b4713f14a49" &&
 /usr/bin/patch -p0 <
 '/opt/bblocal/var/buildworker/ports/build/ports/lang/fstar/files/fstar-
 devel/patch-fix-make-cmd'
 DEBUG: system:  cd
 "/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar
 /fstar-devel/work/FStar-33315726fc8832d033feda451b269b4713f14a49" &&
 /usr/bin/patch -p0 <
 '/opt/bblocal/var/buildworker/ports/build/ports/lang/fstar/files/fstar-
 devel/patch-fix-make-cmd'
 patching file src/ocaml-output/Makefile
 Hunk #1 FAILED at 294.
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/60336>
MacPorts <https://www.macports.org/>
Ports system for macOS