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
Janitor
Login
Merge Proposals
Ready Changes
Merged or Pushed Changes
Candidates
See the status for a specific package:
unchanged - boogie
QA Page
Maintainer email:
bbaren@mit.edu
Last processed: 2023-02-11T11:56 (took 58s)
Branch URL:
https://salsa.debian.org/debian/boogie.git -b master
(taken from version
2.4.1+dfsg-0.1
)
Queue position: 242939 (a 252w6d wait)
Schedule a new run
Run locally
More details
Full run details
Historical runs
unexpected-local-upstream-changes
: Tree has local changes: 277 files
worker-timeout
: No keepalives received in 1:00:01.796552.