Packages overview for Benjamin Barenblat

Benjamin Barenblat <bbaren@debian.org> — Bugs: open - RC - all - submitted - usertags - WNPP - Graph — Reports: Dashboard - Buildd - Lintian - Debtags - Piuparts - Janitor - Contributions - Repology - Portfolio
Benjamin Barenblat <bbaren@mit.edu> — Bugs: open - RC - all - submitted - usertags - WNPP - Graph — Reports: Dashboard - Buildd - Lintian - Debtags - Piuparts - Janitor - Contributions - Repology - Portfolio

main (10)

Source Package Bugs Version Ubuntu VCS Buildd Lintian Deb
check		 Piu
parts		 CI Popcon Watch
All RC oldstable stable testing unstable exp E+W Rep
abseil avatarabseil 1 Graph - 0~20200923.3-2
0~20200923.3-2+deb11u1		 20220623.1-1 20240722.0-1.5
Excuse		 20240722.0-3 - 20230802.1-4.2
1 bug		 Git !1 ✔
✔		 ⎇✔✔✔✔✔∿✘✘✔✔
∿✔∿✔✔✔✔∿∿∉		 ✔ ✔ ✔
 ✔(✔)
FTBFS		 9065 20250127.1
boogie - Graph - 2.4.1+dfsg-0.1 - - - Buildd
Logs		 ✔ S X
 ✔(✔)
-		 10 -
coq[U] 2 Graph - 8.12.0-3 8.16.1+dfsg-1 8.20.1+dfsg-1 - 8.20.1+dfsg-1
1 bug		 Git failed
✔		 ⎇∉✔✔∉∉∉✘∉∉∉
∉∉∉∉✔✔✔∉∉∉		 ✔ S T U X
 ✔✔
FTBR		 577 9.0.0
dafny - Graph - 2.3.0+dfsg-0.1 - - - Buildd
Logs		 ✔ S X
 ✔(✔)
-		 8 -
mosh[U] 10 Graph - 1.3.2-2.1 1.4.0-1 - 1.4.0-1u4
1 bug		 Git
mosh-1.4.0+19		 ⎇✔✔✔✔✔✔✘✘✔✔
✔✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 --
✔		 6144 1.4.0
rcm - Graph - 1.3.4-1 - 1.3.4-1
-		 Git
ERROR		 1×✓ ✔ ✔ ✔
 --
✔		 49 1.3.6
transmission-remote-gtk 7 Graph - 1.4.1-5 1.5.1-1 - 1.5.1-1
5 bugs		 Git
ERROR		 20×✓ ✔ ✔ X
 --
✔		 621 1.6.0
urweb 3 Graph 1 -
Excuse		 20170720+dfsg-2 - - Git
20200209+dfsg-1		 ✔∉✔✔✔✔∿∉∉✔∉
∉✔∉∉∿∉✔∉∉∉		 ✔ U ✔
 --
-		 4 ERROR
wyhash - Graph - 0~2.gbp234f0c6-1 - 0~2.gbp234f0c6-1
-		 - 20×✓ ✔ ✔ ✔
 ✔✔
✔		 1 ERROR
xcwd - Graph - 0~2.gbpe2c777c-1 - 0~2.gbpe2c777c-1
-		 Git
ERROR		 ⎇✔✔✔✔✔✔✘✘✔✔
✔✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 --
✔		 23 ERROR

Back to main page

Display configuration:
You need to allow cookies if you want the configuration to be stored. If not, remember/bookmark the right URL that will be provided after submitting changes. You can override the settings by providing an extra arg to the URL (e.g. &buildd=1 if you want to display the buildd column). These args will not change the custom settings you defined before (the cookie is not modified).
Co-maintained
(&comaint=)



Description
(&description=)


Bugs
(&bugs=)




Version
(&version=)






VCS
(&vcs=)


Ubuntu
(&ubuntu=)


Excuses
(&excuses=)


Binary Package
(&bin=)


Buildd
(&buildd=)



Lintian
(&lintian=)


Debcheck
(&problems=)


Piuparts
(&piuparts=)


CI
(&ci=)


Popcon
(&popc=)


Watch
(&watch=)


Section
(&section=)


Ordering
(&ordering=)



Uploads
(&uploads=)


Additionally show packages: uploaders:

Help (click to expand)

Updated: general information: Mon Apr 7 21:15:18 UTC 2025, projectb: Mon Apr 7 23:30:06 UTC 2025, bugs: Mon Apr 7 23:34:02 UTC 2025. Time needed to generate page: 0.03s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.