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-releases" branch_name: "new-upstream" debian_build { extra_build_distribution: "unchanged" extra_build_distribution: "fresh-releases" base_distribution: "sid" build_distribution: "fresh-releases" build_suffix: "jan+nur" } bugtracker { kind: debian url: "https://bugs.debian.org/brz-debian" name: "deb-new-upstream" } command: "deb-new-upstream --refresh-patches"
Login
Merge Proposals
Ready Changes
Merged and Pushed Changes
Statistics
Candidates
See the status for a specific package:
New Upstream Release - eprover
QA Page
Maintainer email:
team+math@tracker.debian.org
Automatic publish policy: main:
push-derived
, pristine-tar:
push-derived
, upstream:
push-derived
Last processed: 2022-12-14T16:13 (took 9m40s)
Branch URL:
https://salsa.debian.org/math-team/eprover.git -b master
(taken from version
3.0.03+ds-1
)
Queue position: 193973 (a 160w0d wait)
Schedule a new run
More details
Full run details
Historical runs
quilt-patch-out-of-date
: Quilt patch unvendor_picosat.patch no longer applies
