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 - coq-float
QA Page
Maintainer email:
debian-ocaml-maint@lists.debian.org
This package is not present in the archive.
Last processed: 2022-03-09T21:45 (took 6s)
Branch URL:
https://salsa.debian.org/ocaml-team/coq-float.git -b master
(taken from version
1:8.10.0-1
)
Schedule a new run
More details
Full run details
Historical runs
newer-upstream-version-already-imported
: A newer upstream release (8.10.0) has already been imported. Found: 8.8.0
