Packages overview for Benjamin Barenblat
Benjamin Barenblat <bbaren@debian.org> — Bugs: open - RC - all - submitted - usertags - WNPP -
— Reports: Dashboard - Buildd - Lintian - Debtags - Piuparts - Janitor - Contributions - Repology - PortfolioBenjamin Barenblat <bbaren@mit.edu> — Bugs: open - RC - all - submitted - usertags - WNPP -
— Reports: Dashboard - Buildd - Lintian - Debtags - Piuparts - Janitor - Contributions - Repology - Portfoliomain (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 |
5  |
1 | 20220623.1-1+deb12u2 | 20240722.0-4 | - | 20240722.0-4u1 1 bug |
Git !4 ✔ ✔ |
⎇✔✔✔✔✔✘✘✔✔ ✘✘✔✔✔✔✘✔✘ |
✔ | ✔ | ✔ |
✔✔ FTBFS |
67346 | 20250814.1 | ||
| boogie |
-  |
- | 2.4.1+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | ✔ | ✔ |
✔(✔) - |
7 | - | ||||
| coq |
2  |
- | 8.16.1+dfsg-1 | 8.20.1+dfsg-1 AUTORM |
9.1.0+dfsg-2 Excuse |
8.20.1+dfsg-1 1 bug |
Git failed ✔ |
⎇∉✔✔∉∉✘∉∉∉ ∉∉∉✔✔✔∉∉∉ ⎇∿✔✔✔∿✘✘✔∿ ∿∿∿✔✔✔∿∿∉ |
✔ | S T U | F |
✔✔ FTBR |
362 | 9.1.0 | |||
| dafny |
-  |
- | 2.3.0+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | ✔ | ✔ |
✔(✔) - |
5 | - | ||||
| mosh |
11  |
- | 1.4.0-1 | - | 1.4.0-1u4 1 bug |
Git mosh-1.4.0+19 |
⎇✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
5859 | 1.4.0 | ||||
| rcm |
1  |
- | 1.3.4-1 | - | 1.3.4-1 - |
Git ✔ |
1×✓ | ✔ | ✔ | ✔ |
-- ✔ |
50 | 1.3.6 | ||||
| transmission-remote-gtk |
9  |
- | 1.5.1-1 | - | 1.5.1-1 5 bugs |
Git 1.4.1-5 |
18×✓ | ✔ | ✔ | ✔ |
-- ✔ |
626 | 1.6.0 | ||||
| wyhash |
1  |
- | 0~2.gbp234f0c6-1 | - | 0~2.gbp234f0c6-1 - |
- | 18×✓ | ✔ | ✔ | ✔ |
✔✔ ✔ |
1 | ERROR | ||||
| xcwd |
1  |
- | 0~2.gbpe2c777c-1 | - | 0~2.gbpe2c777c-1 - |
Git ✔ |
⎇✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
24 | ERROR | ||||
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)
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 Nov 4 08:45:17 UTC 2025, projectb: Tue Nov 4 12:45:06 UTC 2025, bugs: Tue Nov 4 12:34:01 UTC 2025. Time needed to generate page: 0.01s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.