New Upstream Release - dafny

• QA Page
• Maintainer email: bbaren@mit.edu
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-01-01T19:18 (took 13m26s)
• Branch URL: https://salsa.debian.org/debian/dafny.git -b master (taken from version 2.3.0+dfsg-0.1)
• Queue position: 249664 (a 272w2d wait)

Schedule a new run

More details

Full run 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