New Upstream Release - dafny
More details
Historical runs
- quilt-patch-out-of-date: Quilt patch use_system_z3.diff no longer applies
- nothing-to-do: Nothing to do.
- quilt-refresh-error: An error occurred refreshing quilt patch use_system_z3.diff: Applying patch debian/patches/use_system_z3.diff patching file Source/Dafny/DafnyOptions.cs Hunk #1 FAILED at 426. 1 out of 1 hunk FAILED -- rejects in file Source/Dafny/DafnyOptions.cs Patch debian/patches/use_system_z3.diff does not apply (enforce with -f)
- quilt-refresh-error: An error occurred refreshing quilt patch use_system_z3.diff: Applying patch debian/patches/use_system_z3.diff patching file Source/Dafny/DafnyOptions.cs Hunk #1 FAILED at 426. 1 out of 1 hunk FAILED -- rejects in file Source/Dafny/DafnyOptions.cs Patch debian/patches/use_system_z3.diff does not apply (enforce with -f)
- codemod-command-failed: Script ['deb-new-upstream', '--refresh-patches'] failed to run with code 1
- codemod-command-failed: Script ['deb-new-upstream', '--refresh-patches'] failed to run with code -9
- codemod-command-failed: Script ['deb-new-upstream', '--refresh-patches'] failed to run with code -9