New Upstream Release - z3

• QA Page
• Maintainer email: pkg-llvm-team@lists.alioth.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2022-09-03T10:38 (took 3m50s)
• Branch URL: https://salsa.debian.org/pkg-llvm-team/z3.git -b master (taken from version 4.8.12-3.1)
• Queue position: 171916 (a 117w4d wait)

Schedule a new run

More details

Full run details

Historical runs

• new-upstream-tarball-missing: New upstream version (z3/4.11.0+ds) found, but was missing when retrieved as tarball from <UScanSource(<GitWorkingTree of /tmp/janitor9ujaxtwh/z3>, subpath='', top_level=False, auto_fix=True)>.
• build-failed: build failed
• build-failed-stage-explain-bd-uninstallable: build failed stage explain-bd-uninstallable