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 6 Graph 1 2.16.1-10 -
Excuse		 2.16.1-10 - 2.16.1-10
-		 - ⎇✔✔✔✔✔✔✘✘✔✔
✔✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 --
-		 40 ERROR
bmt 1 Graph - 0.6-1.1 - 0.6-1.1
-		 - 1×✓ ✔ S T U X
 --
✔		 6 0.6
boolector 2 Graph - 1.5.118.6b56be4.121013-1 1.5.118.6b56be4.121013-1.3 - 1.5.118.6b56be4.121013-1.3
-		 - 20×✓ ✔ ✔ ✔
 --
✔		 30 ERROR
brickos 2 Graph - 0.9.0.dfsg-12.2 -
Excuse		 0.9.0.dfsg-12.2 - 0.9.0.dfsg-12.2
-		 - ✔✔✔✔✔✔✔∉✔✔✔
✔✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
MA		 --
-		 11 0.9.0
cbmc - Graph - 5.12-5 - 6.1.1-2 - 6.1.1-2
1 bug (1 patch)		 - ⎇✔✔✔✔✔✔∉✔✔✔
✔✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 ✔✔
✔		 28 6.4.0
clamav avatarclamav[U] 54 Graph - 0.103.10+dfsg-0+deb11u1 1.0.7+dfsg-1~deb12u1 1.4.1+dfsg-1 - 1.3.1+dfsg-5u2
45 bugs		 Git #2 !2
✔		 ✔∉✔✔✔✔∉∉∉✔✔
∉✔✔✔✔✔✔∉✔✔		 ✔ T U X
 ✔✔
FTBR		 11071 1.4.1
diagnostics 3 Graph - 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 2 Graph 1 1:3.4.6+dfsg2-4.1 1:3.4.6+dfsg2-4.2 -
Excuse		 1:3.4.6+dfsg2-4.2 - 1:3.4.6+dfsg2-4.2
1 bug		 - ⎇✔✔✔✔✔✔∉✔✔✔
✔✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 --
-		 35 3.4.6
lnpd[RM] 3 Graph - 0.9.0-11 - 0.9.0-11
-		 - 20×✓ ✔ T ✔
 --
✔		 3 0.9.0
minisat2 - Graph - 1:2.2.1-5 1:2.2.1-8 - 1:2.2.1-8
-		 - 20×✓ ✔ ✔ ✔
 --
✔		 2106 2.2.0
picosat[U] - Graph - 965-2 - 965-2
-		 Git
965-2+1		 20×✓ ✔ ✔ ✔
 --
✔		 135 965
ppl[U] - Graph - 1:1.2-8.1
AUTORM		 - 1:1.2-8.1
-		 Git !1
1:1.2-8		 ✔⌂✔✔✔✔∉⌂✔✔✔
✔✔✔✔✔✔✔⌂✔✔		 ✔ ✔ X
MA		 --
FTBR		 1022 1.2
sat4j 1 Graph - 2.3.5-0.3 - 2.3.5-0.3
-		 - 1×✓ ✔ ✔ X
 --
✔		 309 ERROR

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 - 0.103.10-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×✓ ✔ ✔ -
 --
(-)		 338 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 1 Graph - 2010.05.20-1 - 2010.05.20-1
-		 - 20×✓ ✔ ✔ ✔
 --
✔		 25 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 Nov 21 08:45:17 UTC 2024, projectb: Thu Nov 21 12:15:06 UTC 2024, bugs: Thu Nov 21 12:19:02 UTC 2024. Time needed to generate page: 0.01s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.