Packages overview for Benjamin Barenblat

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

main (9)

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 3 Graph 1 -
0~20200225.2-3~bpo10+1
0~20200923.3-2 0~20210324.2-4 - 0~20210324.2-4
-
Git



FTBFS
9605 0~20220623.0
boogie[RFA] - Graph - - 2.4.1+dfsg-0.1 - 2.4.1+dfsg-0.1
-
Git
S T U

FTBR
13 2.15.7
coq[U] - Graph - 8.9.0-1 8.12.0-3 8.15.2+dfsg-2 - 8.15.2+dfsg-2
3 bugs
Git !2 failed

S T U F

FTBR
866 8.15.2
dafny[RFA] - Graph - - 2.3.0+dfsg-0.1 - 2.3.0+dfsg-0.1
-
Git
S T U

FTBR
9 3.7.3
rcm - Graph - 1.3.3-2 1.3.4-1 - 1.3.4-1
-
Git

--
FTBFS
56 1.3.5
transmission-remote-gtk 5 Graph - 1.4.1-1 1.4.1-5 1.5.1-1 - 1.5.1-1
5 bugs
Git
1.4.1-5
22× X
--
586 1.5.1
urweb 1 Graph - -
Excuse
20170720+dfsg-2 - - Git
20200209+dfsg-1


--
-
5 ERROR
wyhash - Graph - - 0~2.gbp234f0c6-1 - 0~2.gbp234f0c6-1
-
- 22×
MA

1 ERROR
xcwd - Graph - 0~2.gbpe2c777c-1 - 0~2.gbpe2c777c-1
-
Git


--
19 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 collapse)
The description of the package is available as mouseover title from the package name.
An asterisk (*) indicates the presence of co-maintainers (Uploaders: control field)
Blue packages are co-maintained by this developer
The 'Bugs' columns display the real number of bugs. If there are merged bugs, the total is in parentheses
Version columns are color-coded, mouseover titles show more information:
 Cyan: package in stable
 Red: package in stable security (not shown if also in stable)
 Dark blue: package in stable proposed updates (not shown if also in stable security)
 Light blue: package pending for stable proposed updates (not shown if also in stable security)
 Dark purple: package on backports
 Purple: testing version
 Green: unstable version
 Red: non-maintainer upload
 Grey: version in new
 Orange: version in incoming
 Light Red: version in delayed
Ubuntu column:
  green: Ubuntu version is in sync with version in unstable
  magenta: Ubuntu version is greater than version in unstable
  navy blue: Ubuntu version is lower than version in unstable
The 'Popcon' column displays the maximal install count for any binary in the source package
Watch column:
  green: upstream found version is in sync with version in unstable/experimental
  magenta: upstream found version is greater than version in unstable
  navy blue: upstream found version is lower than version in unstable (a bug in the watch file?)
  Error: uscan had problems following the watch file
The 'pending uploads' section shows packages uploaded/Changed-By this developer in incoming, new, and delayed
The 'uploads' sections show all packages in the archive signed by this developer's key (NMUs, sponsored, QA uploads)

Updated: general information: Tue Aug 9 09:15:32 UTC 2022, projectb: Tue Aug 9 14:30:12 UTC 2022, bugs: Tue Aug 9 14:19:03 UTC 2022. Time needed to generate page: 0.07s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.