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 - cvc5
QA Page
Maintainer email:
debian-science-maintainers@alioth-lists.debian.net
Automatic publish policy: main:
push-derived
, pristine-tar:
push-derived
, upstream:
push-derived
Last processed: 2022-12-18T08:08 (took 5m11s)
Branch URL:
https://salsa.debian.org/science-team/cvc5.git -b master
(taken from version
1.1.2-2
)
Queue position: 173562 (a 122w6d wait)
Schedule a new run
More details
Full run details
Historical runs
quilt-patch-out-of-date
: Quilt patch 1f75f23acb227e52b2858888b6a9b9e5bb0cd57d.patch no longer applies