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 (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 |
3  |
1 | 0~20200923.3-2 | 20220623.1-1 | 20230802.1-4 Excuse |
20240722.0-1.5 | - | 20230802.1-4.2 1 bug |
Git ✔ |
⎇✔✔✔✔✔∿✘✘✔✔ ∿✔∿✔✔✔✔∿✔∿ |
✔ | ✔ | ✔ |
fail✔ FTBFS |
413 | 20250127.0 |
| boogie |
-  |
- | 2.4.1+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | S | X |
✔(✔) - |
10 | - | ||||
| coq |
1  |
- | 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 |
598 | 8.20.1 | ||
| dafny |
-  |
- | 2.3.0+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | S | X |
✔(✔) - |
9 | - | ||||
| mosh |
10  |
- | 1.3.2-2.1 | 1.4.0-1 | - | 1.4.0-1u4 1 bug |
Git mosh-1.4.0+19 |
⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | W |
-- ✔ |
6209 | 1.4.0 | |||
| rcm |
-  |
- | 1.3.4-1 | - | 1.3.4-1 - |
Git ✔ |
1×✓ | ✔ | ✔ | ✔ |
-- ✔ |
52 | 1.3.6 | ||||
| transmission-remote-gtk |
7  |
- | 1.4.1-5 | 1.5.1-1 | - | 1.5.1-1 5 bugs |
Git 1.4.1-5 |
20×✓ | ✔ | ✔ | X |
-- ✔ |
617 | 1.6.0 | |||
| urweb |
3  |
1 | - Excuse |
20170720+dfsg-2 | - | - | Git 20200209+dfsg-1 |
✔∉✔✔✔✔∿∉∉✔∉ ∉✔∉∉∿∉✔∉∉∉ |
✔ | U | ✔ |
-- - |
4 | ERROR | |||
| wyhash |
-  |
- | 0~2.gbp234f0c6-1 | - | 0~2.gbp234f0c6-1 - |
- | 20×✓ | ✔ | ✔ | ✔ |
✔✔ ✔ |
2 | ERROR | ||||
| xcwd |
-  |
- | 0~2.gbpe2c777c-1 | - | 0~2.gbpe2c777c-1 - |
Git ✔ |
⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
27 | 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: Mon Mar 10 21:00:17 UTC 2025, projectb: Mon Mar 10 23:45:06 UTC 2025, bugs: Mon Mar 10 23:49:02 UTC 2025. Time needed to generate page: 0.01s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.