Packages overview for Benjamin Barenblat
Benjamin Barenblat <bbaren@mit.edu> — Bugs: open - RC - all - submitted - usertags - WNPP -
Benjamin Barenblat <bbaren@debian.org> — Bugs: open - RC - all - submitted - usertags - WNPP -

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 |
1 ![]() |
- | 0~20200923.3-2 0~20200923.3-2+deb11u1 |
20220623.1-1 | 20240722.0-3 | - | 20230802.1-4.2 1 bug |
Git !2 ✔ ✔ |
⎇✔✔✔✔✔∿✘✘✔✔ ∿✔∿✔✔✔✔∿∿∉ |
✔ | ✔ | ✔ |
✔✔ ✔ |
10258 | 20250127.1 | |
boogie |
- ![]() |
- | 2.4.1+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | S | X |
✔(✔) - |
8 | - | ||||
coq |
2 ![]() |
- | 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 |
580 | 9.0.0 | ||
dafny |
- ![]() |
- | 2.3.0+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | S | X |
✔(✔) - |
7 | - | ||||
mosh |
10 ![]() |
- | 1.3.2-2.1 | 1.4.0-1 | - | 1.4.0-1u4 1 bug |
Git mosh-1.4.0+19 |
⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
6171 | 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 |
-- ✔ |
607 | 1.6.0 | |||
wyhash |
- ![]() |
- | 0~2.gbp234f0c6-1 | - | 0~2.gbp234f0c6-1 - |
- | 20×✓ | ✔ | ✔ | ✔ |
✔✔ ✔ |
1 | ERROR | ||||
xcwd |
- ![]() |
- | 0~2.gbpe2c777c-1 | - | 0~2.gbpe2c777c-1 - |
Git ✔ |
⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
24 | ERROR |
Help (click to expand)
Updated: general information: Wed Apr 23 21:00:18 UTC 2025, projectb: Thu Apr 24 00:45:06 UTC 2025, bugs: Thu Apr 24 00:34:02 UTC 2025. Time needed to generate page: 0.01s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.