Maintainer Overview - bbaren@mit.edu
Merge Proposals
Open Merge Proposals
Resolved Merge Proposals
Candidates
- boogie (scrub-obsolete)
- boogie (lintian-fixes)
- boogie (fresh-releases)
- boogie (fresh-snapshots)
- boogie (cme)
- dafny (lintian-fixes)
- dafny (fresh-snapshots)
- dafny (fresh-releases)
- dafny (scrub-obsolete)
- dafny (cme)
- urweb (scrub-obsolete)
- urweb (cme)
- urweb (fresh-snapshots)
- urweb (lintian-fixes)
Historical Runs
- 2021-05-29T08:31 boogie: new-upstream --refresh-patches: build-failed-stage-build
- 2021-06-07T15:43 dafny: new-upstream: unpack-patch-application-failed
- 2021-06-02T18:43 urweb: new-upstream --snapshot --refresh-patches: dist-apt-broken-packages