Packages overview for Michael Tautschnig

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

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[U] - Graph - 2.16.1-10 2.16.1-13 2.16.1-15 - 2.16.1-15
1 bug		 Git ✔
✔		 ⎇✔✔✔✔✔✘✘✔✔
✔✔✔✔✔✔✔✔✔		 ✔ U ✔
 ✔✔
✔		 34 0.No-Track
bmt[U] 1 Graph - 0.6-1.1 0.6-2 - 0.6-2
-		 Git ✔
✔		 1×✓ ✔ S T U ✔
 --
✔		 4 0.6
boolector 4 Graph - 1.5.118.6b56be4.121013-1.3 - 1.5.118.6b56be4.121013-1.3
-		 - 18×✓ ✔ U ✔
 --
✔		 33 ERROR
brickos[U] - Graph - 0.9.0.dfsg-12.2 0.9.0.dfsg-15 0.9.0.dfsg-16 - 0.9.0.dfsg-16
1 bug		 Git ✔
✔		 19×✓ ✔ ✔ ✔
MA		 ✔✔
✔		 8 0.9.0
cbmc 1 Graph - - 6.6.0-4 - 6.6.0-4
1 bug (1 patch)		 - ⎇✔✔✔✔✔∉✔✔✔
✔✔✔✔✔✔✔✔✔		 ✔ U ✔
 ✔✔
✔		 25 6.8.0
clamav avatarclamav[U] 64 Graph - 1.0.9+dfsg-1~deb12u1 1.4.3+dfsg-1 1.4.3+dfsg-2 - 1.4.3+dfsg-0u3
49 bugs		 Git #2 !2
✔		 ✔∉✔✔✔∉✘✘✔∉
∉✔✔✔✔✔∉✔✔		 ✔ S T U ✔
 ✔(✔)
✔		 11310 1.4.3
diagnostics 3 Graph - 0.3.3-12.3 0.3.3-12.4 - 0.3.3-12.4
-		 - ⎇✔✔✔✔✔✘✔✔∉
✔✔✔✔✔✔✔✔✔		 ✔ U ✔
 --
✔		 3 ERROR
gcc-h8300-hms[U] 1 Graph - 1:3.4.6+dfsg2-4.2 1:3.4.6+dfsg2-7 1:3.4.6+dfsg2-10 - 1:3.4.6+dfsg2-10
2 bugs		 Git ✔
✔		 ⎇✔✔✔✔✔✔✔✔✔
✔✔✔✔✔✔∿✔✔		 ✔ U ✔
 ✔✔
✔		 26 0.No-Track
lnpd - Graph - 0.9.0-11 - - - Buildd
Logs		 ✔ ✔ ✔
 --
-		 1 -
minisat2 1 Graph - 1:2.2.1-5 1:2.2.1-8 - 1:2.2.1-8
-		 - 18×✓ ✔ U ✔
 --
✔		 2455 2.2.0
picosat[U] - Graph - 965-2 965-3 - 965-3
-		 Git
✔		 18×✓ ✔ U ✔
 --
✔		 137 965
ppl[U] - Graph - 1:1.2-8.1 - 1:1.2-8.1+
-		 Git failed
1%1.2-8.1+4		 ✔✔✔✔✔∉✔✔✔✔
✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
MA		 --
FTBFS		 1107 ERROR
sat4j[U] 1 Graph - 2.3.5-0.3 2.3.6-1 - 2.3.6-1
-		 Git ✔
✔		 1×✓ ✔ U ✔
 --
✔		 235 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 avatarlibclamunrar[U] - Graph - 1.0.3-1~deb12u1 1.3.1-1 - 1.3.1-1
4 bugs		 Git !3
debian-1.0.3-2+12		 ✔✔✔✔✔
∉✔✔✔		 ✔ ✔ -
 --
(-)		 321 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 4 Graph - 2010.05.20-1 - 2010.05.20-1
-		 - 18×✓ ✔ U ✔
 --
✔		 23 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: Sun Dec 28 20:45:17 UTC 2025, projectb: Sun Dec 28 22:30:06 UTC 2025, bugs: Sun Dec 28 22:34:02 UTC 2025. Time needed to generate page: 0.01s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.