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 (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 |
1 ![]() |
- | 0~20200923.3-2 0~20200923.3-2+deb11u1 |
20220623.1-1 | 20240722.0-3 | - | 20230802.1-4.2 1 bug |
Git !1 ✔ ✔ |
⎇✔✔✔✔✔∿✘✘✔✔ ∿✔∿✔✔✔✔∿∿∉ |
✔ | ✔ | ✔ |
✔(✔) ✔ |
9456 | 20250127.1 | |
boogie |
- ![]() |
- | 2.4.1+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | S | X |
✔(✔) - |
10 | - | ||||
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 |
577 | 9.0.0 | ||
dafny |
- ![]() |
- | 2.3.0+dfsg-0.1 | - | - | - | Buildd Logs |
✔ | S | X |
✔(✔) - |
8 | - | ||||
mosh |
10 ![]() |
- | 1.3.2-2.1 | 1.4.0-1 | - | 1.4.0-1u4 1 bug |
Git mosh-1.4.0+19 |
⎇✔✔✔✔✔✔✘✘✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
6137 | 1.4.0 | |||
rcm |
- ![]() |
- | 1.3.4-1 | - | 1.3.4-1 - |
Git ERROR |
1×✓ | ✔ | ✔ | ✔ |
-- ✔ |
51 | 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 |
-- ✔ |
614 | 1.6.0 | |||
urweb |
2 ![]() |
1 | - Excuse |
20170720+dfsg-2 | - | - | Git 20200209+dfsg-1 |
✔∉✔✔✔✔∿∉∉✔∉ ∉✔∉∉∿∉✔∉∉∉ |
✔ | U | ✔ |
-- - |
4 | ERROR | |||
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: Sat Apr 12 09:00:18 UTC 2025, projectb: Sat Apr 12 10:30:06 UTC 2025, bugs: Sat Apr 12 10:19:02 UTC 2025. Time needed to generate page: 0.04s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.