id summary reporter owner description type status priority milestone component version resolution keywords cc port 60336 fstar-devel: Hunk #1 FAILED at 294 ryandesign landonf "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. }}} " defect closed Normal ports 2.6.2 fixed fstar-devel