New Upstream Release - why3

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2022-09-30T03:43 (took 4m57s)
• Branch URL: https://salsa.debian.org/ocaml-team/why3.git -b master (taken from version 1.6.0-1)
• Queue position: 241126 (a 250w1d wait)

Schedule a new run

No unpublished successful runs for why3.

Historical runs

• nothing-to-do: Last upstream version 1.5.1 already imported.
• nothing-to-do: Last upstream version 1.5.0 already imported.
• build-failed-stage-build: Error: File graph.cmo not found