Packages overview for Michael Tautschnig <mt@debian.org>
Michael Tautschnig <mt@debian.org> — Bugs: open - RC - all - submitted - usertags - WNPP -
main (13)
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 | |||||||||
binutils-h8300-hms |
2 ![]() |
- | 2.16.1-10 | 2.16.1-12 Excuse |
2.16.1-13 | - | 2.16.1-10 - |
Git ✔ ✔ |
20×✓ | ✔ | ✔ | X |
-- ✔ |
38 | 2.16.1 | ||
bmt |
1 ![]() |
- | 0.6-1.1 | - | 0.6-1.1 - |
- | 1×✓ | ✔ | S T U | ✔ |
-- ✔ |
8 | 0.6 | ||||
boolector |
2 ![]() |
- | 1.5.118.6b56be4.121013-1 | 1.5.118.6b56be4.121013-1.3 | - | 1.5.118.6b56be4.121013-1.3 - |
- | 20×✓ | ✔ | ✔ | ✔ |
-- ✔ |
29 | ERROR | |||
brickos |
- ![]() |
- | 0.9.0.dfsg-12.2 | 0.9.0.dfsg-14 | - | 0.9.0.dfsg-13 - |
Git failed ✔ |
21×✓ | ✔ | ✔ | ✔ MA |
⊖- FTBR |
12 | 0.9.0 | |||
cbmc |
1 ![]() |
- | 5.12-5 | - | 6.4.1-2 | - | 6.4.1-2 1 bug (1 patch) |
- | ⎇✔✔✔✔✔✔∉✔✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
✔✔ FTBFS |
27 | 6.5.0 | ||
![]() | clamav |
59 ![]() |
- | 0.103.10+dfsg-0+deb11u1 1.0.7+dfsg-1~deb11u2 |
1.0.7+dfsg-1~deb12u1 | 1.4.2+dfsg-1 | - | 1.4.2+dfsg-0u1 43 bugs |
Git #2 !3 1.4.1+dfsg-1 |
✔∉✔✔✔✔∉∉∉✔✔ ∉✔✔✔✔✔✔∉✔∉ |
✔ | T U | X |
✔✔ FTBR |
11192 | 1.4.2 | |
diagnostics |
3 ![]() |
- | 0.3.3-12.1 | 0.3.3-12.3 | 0.3.3-12.4 | - | 0.3.3-12.4 - |
- | ⎇✔✔✔✔✔✔✘✔✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
3 | ERROR | ||
gcc-h8300-hms |
- ![]() |
- | 1:3.4.6+dfsg2-4.1 | 1:3.4.6+dfsg2-4.2 | 1:3.4.6+dfsg2-5 | - | 1:3.4.6+dfsg2-4.2 1 bug |
- | 20×✓ | ✔ | ✔ | X |
-- FTBR |
32 | 3.4.6 | ||
lnpd |
- ![]() |
- | 0.9.0-11 | - | - | - | Buildd Logs |
✔ | ✔ | ✔ |
-- - |
2 | - | ||||
minisat2 |
- ![]() |
- | 1:2.2.1-5 | 1:2.2.1-8 | - | 1:2.2.1-8 - |
- | 20×✓ | ✔ | ✔ | ✔ |
-- ✔ |
2047 | 2.2.0 | |||
picosat |
- ![]() |
- | 965-2 | - | 965-2 - |
Git 965-2+1 |
20×✓ | ✔ | ✔ | ✔ |
-- ✔ |
131 | 965 | ||||
ppl |
- ![]() |
- | 1:1.2-8.1 | - | 1:1.2-8.1 - |
Git !1 1%1.2-8.1+1 |
✔✔✔✔✔✔∉✔✔✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | X MA |
-- FTBR |
1007 | 1.2 | ||||
sat4j |
1 ![]() |
- | 2.3.5-0.3 | 2.3.6-1 | - | 2.3.6-1 - |
Git ✔ ✔ |
1×✓ | ✔ | ✔ | X |
-- ✔ |
283 | 2.3.6 |
non-free (1)
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 | |||||||||
libclamunrar |
- ![]() |
- | 0.103.10-1~deb11u1 1.0.3-1~deb11u1 |
1.0.3-1~deb12u1 | 1.3.1-1 | - | 1.3.1-1 4 bugs |
Git !3 debian-1.0.3-2+12 |
10×✓ | ✔ | ✔ | - |
-- (-) |
329 | ERROR |
Sponsored/other uploads (1)
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 | |||||||||
xkbind |
2 ![]() |
- | 2010.05.20-1 | - | 2010.05.20-1 - |
- | 20×✓ | ✔ | ✔ | ✔ |
-- ✔ |
25 | 2010.05.20 |
Help (click to expand)
Updated: general information: Thu Apr 3 21:00:17 UTC 2025, projectb: Fri Apr 4 02:45:07 UTC 2025, bugs: Fri Apr 4 02:49:02 UTC 2025. Time needed to generate page: 0.01s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.