Maintainer Overview - bbaren@mit.edu

Merge Proposals

Open Merge Proposals

Resolved Merge Proposals

Candidates

• boogie (lintian-fixes)
• boogie (fresh-releases)
• boogie (fresh-snapshots)
• boogie (unchanged)
• dafny (fresh-snapshots)
• dafny (unchanged)
• dafny (lintian-fixes)
• urweb (unchanged)
• urweb (fresh-snapshots)
• urweb (lintian-fixes)

Historical Runs

• 2020-06-11T18:04 boogie: lintian-brush: success
• 2020-08-26T08:59 dafny: lintian-brush: unpack-unexpected-local-upstream-changes
• 2020-07-27T10:16 urweb: just-build: install-deps-unsatisfied-dependencies