Skip Quicknav
Lintian Fixes
Multi-Arch Fixes
Scrub Obsolete
Orphaning
MIA
Watch Fixes
Uncommitted Changes
Unversioned
Alioth archive imports
Bullseye Backports
Upstream Releases
Upstream Snapshots
The Debian Janitor
name: "fresh-snapshots" branch_name: "new-upstream-snapshot" debian_build { extra_build_distribution: "unchanged" extra_build_distribution: "fresh-releases" extra_build_distribution: "fresh-snapshots" base_distribution: "sid" build_distribution: "fresh-snapshots" build_suffix: "jan+nus" } bugtracker { kind: debian url: "https://bugs.debian.org/brz-debian" name: "deb-new-upstream" } command: "deb-new-upstream --snapshot --refresh-patches"
Login
Merge Proposals
Ready Changes
Merged and Pushed Changes
Statistics
Candidates
See the status for a specific package:
New Upstream Snapshot - 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:53 (took 15m24s)
Branch URL:
https://salsa.debian.org/ocaml-team/why3.git -b master
(taken from version
1.6.0-1
)
Queue position: 239704 (a 248w0d wait)
Schedule a new run
More details
Full run details
Historical runs
vcs-control-directory-needed
: Version control directory needed
command-failed
: configure: error: Cannot find ocamlc.
worker-timeout
: No keepalives received in 10:00:10.909053.
