New Upstream Release - boogie

• QA Page
• Maintainer email: bbaren@mit.edu
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-01-16T18:51 (took 8m34s)
• Branch URL: https://salsa.debian.org/debian/boogie.git -b master (taken from version 2.4.1+dfsg-0.1)
• Queue position: 247480 (a 265w6d wait)

Schedule a new run

More details

Full run details

Historical runs

• failed: sed: can't read Source/Concurrency/Witnesses.cs: No such file or directory
• failed: sed: can't read Source/Concurrency/Witnesses.cs: No such file or directory
• build-failed-stage-build: sed: can't read Source/Concurrency/Witnesses.cs: No such file or directory
• 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