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 - coq-unicoq
QA Page
Maintainer email:
debian-ocaml-maint@lists.debian.org
Branch URL:
https://salsa.debian.org/ocaml-team/coq-unicoq.git -b master
(taken from version
1.6-8.19-1
)
Schedule a new run
No unpublished successful runs for coq-unicoq.
