Packages overview for Michael Tautschnig

Michael Tautschnig <mt@debian.org> — Bugs: open - RC - all - submitted - WNPP - Graph — Reports: Dashboard - Buildd - Lintian - Debtags - Piuparts - DUCK - Contributions - Repology - Portfolio

main (17)

Source Name 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 3 Graph - 2.16.1-10 - 2.16.1-10
-		 - 24×✓ 0+5 ✔ ✔
 --
✔		 91 -
bmt 1 Graph - - 0.6-1 - 0.6-1
-		 - 1×✓ 0+3 S T U ✔
 --
✔		 13 0.6
boolector 2 Graph - 1.5.118.6b56be4.121013-1 - 1.5.118.6b56be4.121013-1
-		 - 24×✓ 0+9 ✔ ✔
 --
FTBR		 55 -
brickos 2 Graph - 0.9.0.dfsg-8 0.9.0.dfsg-12.1 - 0.9.0.dfsg-12.1
-		 - 25×✓ 0+2 ✔ ✔
MA		 --
FTBR		 21 0.9.0
cbmc - Graph - 4.9-4 5.6-1 5.10-5 - 5.10-5
-		 - ⎇∿✔✔✔✔∉∉✔∉✔✔✔
✔✔✔✔✔✔✔∿✔✔✔✔		 ✔ ✔ ✔
 --
✔		 48 5.11
clamav[U] 19
(20) Graph		 - 0.100.0+dfsg-0+deb8u1
0.100.3+dfsg-0+deb8u1		 0.100.2+dfsg-0+deb9u1
0.100.3+dfsg-0+deb9u1		 0.101.2+dfsg-1 - 0.100.3+dfsg-0u1
36 bugs		 Git !1
✔		 ✔✔✔✔✔✔✔✔✔✔✔✔✔
✔✔✔✔✔✔✔✔✔∉✔✔		 ✔ S U ✔
 ✔✔
✔		 13546 0.101.2
cloog[U] - Graph - 0.18.2-1 0.18.4-1 - - - Buildd
Logs		 ✔ ✔ ✔
 --
-		 47152 -
cloog-ppl[U] - Graph - 0.16.1-5 0.16.1-7 - - - Buildd
Logs		 ✔ ✔ ✔
 --
-		 788 -
diagnostics 3 Graph 1 0.3.3-10 0.3.3-12 -
Excuse		 0.3.3-12 - 0.3.3-12
-		 - ⎇✔✔✔✔✔✔✔✔✔✔✔✔
✔✔✔✔✔✔✔✘✔✔✔∉		 2+3 ✔ ✔
 --
-		 5 0.3.3
gcc-h8300-hms - Graph - 1:3.4.6+dfsg2-2 1:3.4.6+dfsg2-4 - 1:3.4.6+dfsg2-4u3
1 bug		 - 24×✓ 0+33 T ✔
 --
FTBFS		 80 3.4.6
kcov 7 Graph 5 11-1 -
Excuse		 25+dfsg-1 - - Git
36		 ⎇⎇∿∿∿∿⎇✘∿⎇∿∿⎇
⎇⎇⎇∿∿∿∿⎇⎇⎇⎇∿		 2+8 U ✔
 --
-		 30 36
lnpd 1 Graph - 0.9.0-11 - 0.9.0-11
-		 - 24×✓ 0+6 ✔ ✔
 --
✔		 4 0.9.0
minisat2 2 Graph - 1:2.2.1-5 - 1:2.2.1-5
-		 Git
ERROR		 24×✓ 0+7 ✔ ✔
MA		 --
✔		 2631 -
picosat 1 Graph - 960-1 - 960-1
-		 - 24×✓ 0+17 ✔ ✔
 --
✔		 69 965
ppl[U] - Graph - 1:1.1-3 1:1.2-1 1:1.2-7 - 1:1.2-7
-		 Git
✔		 25×✓ ✔ U ✔
MA		 --
✔		 1709 1.2
sat4j 1 Graph - 2.3.3-1 2.3.5-0.2 2.3.5-0.3 - 2.3.5-0.3
-		 - 1×✓ ✔ U ✔
 --
✔		 4169 -
z3[U] 4 Graph - - 4.4.1-0.4~deb9u1 4.4.1-0.4 4.4.1-0.5~exp1 4.4.1-0.4
-		 Git
✔		 ⎇∿✔✔✔✔∿✘✔∉∉∉∿
✔✔✔✔∿✔✔∉✔∿✔∿
⎇⌂✔✔✔✔∿✘✔∉∉∉∿
✔✔✔✔∉✔✔∉✔∿✔∿		 0+11 ✔ ✔
 --
FTBR		 166 4.8.4

non-free (1)

Source Name Bugs Version Ubuntu VCS Buildd Lintian Deb
check		 Piu
parts		 CI Popcon Watch
All RC oldstable stable testing unstable exp E+W Rep
libclamunrar[U] - Graph - 0.99-0+deb8u3 0.100.1-0+deb9u1 0.101.2-1 - 0.100.1-1
2 bugs		 Git
✔		 ⎇✔✔✔✔✔∿
∿✔✔✔✔✔		 0+1 ✔ -
 --
(-)		 37 0.101.2

Sponsored/other uploads (6)

Source Name Bugs Version Ubuntu VCS Buildd Lintian Deb
check		 Piu
parts		 CI Popcon Watch
All RC oldstable stable testing unstable exp E+W Rep
angband-audio 2 Graph 1 -
Excuse		 1:3.1.0-1 - - - Buildd
Logs		 0+2 ✔ -
 --
-		 2 31
gadmin-rsync 2 Graph - 0.1.7-1 - 0.1.7-1
2 bugs		 Git
ERROR		 24×✓ 0+9 S T U X
 --
✔		 324 -
git-sh 1 Graph - 1.1-1 - 1.1-1
-		 - 1×✓ 1+3 ✔ ✔
MA		 --
✔		 225 -
hunspell-kk[O] - Graph - 1.1-2 - 1.1-2
-		 Git
1.1-2+8		 1×✓ 0+6 S T U ✔
MA		 --
✔		 337 -
nullidentd 3 Graph - 1.0-5 - 1.0-5
-		 - 24×✓ 0+4 ✔ ✔
 --
✔		 437 -
xkbind 1 Graph - 2010.05.20-1 - 2010.05.20-1
-		 - 24×✓ 0+4 ✔ ✔
 --
✔		 40 2010.05.20

Back to main page

Display configuration:
You need to allow cookies if you want the configuration to be stored. If not, remember/bookmark the right URL that will be provided after submitting changes. You can override the settings by providing an extra arg to the URL (e.g. &buildd=1 if you want to display the buildd column). These args will not change the custom settings you defined before (the cookie is not modified).
Co-maintained
(&comaint=)



Description
(&description=)


Bugs
(&bugs=)




Version
(&version=)






VCS
(&vcs=)


Ubuntu
(&ubuntu=)


Excuses
(&excuses=)


Binary Package
(&bin=)


Buildd
(&buildd=)



Lintian
(&lintian=)


Debcheck
(&problems=)


Piuparts
(&piuparts=)


CI
(&ci=)


Popcon
(&popc=)


Watch
(&watch=)


Section
(&section=)


Ordering
(&ordering=)



Uploads
(&uploads=)


Additionally show packages: uploaders:

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)

Updated: general information: Thu Apr 25 15:01:01 UTC 2019, projectb: Thu Apr 25 17:45:21 UTC 2019, bugs: Thu Apr 25 17:49:04 UTC 2019. Time needed to generate page: 0.03s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.