Packages overview for Hendrik Tews

Hendrik Tews <hendrik@askra.de> — Bugs: open - RC - all - submitted - WNPP - Graph — Reports: Dashboard - Buildd - Lintian - Debtags - Piuparts - DUCK - Contributions - Repology - Portfolio

main (21)

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
atdgen[U] - Graph - 1.9.1-2 - - - Buildd
Logs

--
-
6 -
biniou[U] 1 Graph - 1.0.12-2 - 1.0.12-2
-
Git
ERROR
23× 0+2 S T U
--
33 1.2.0
caml2html[U] - Graph - 1.4.3-1 1.4.3-2 - 1.4.4-0u2
-
Git
ERROR

0+3 S T U
MA
--
9 -
camlmix[U] - Graph - 1.3.1-3 - 1.3.1-3
-
Git
ERROR
23× 0+3 S T U
--
5 -
cmdliner[U] - Graph - 0.9.8-1 1.0.2-1 - 1.0.2-1
-
Git
23× 0+2
--
30 1.0.4
cppo[U] - Graph - 1.3.2-1 1.6.4-3 - 1.6.4-3
-
Git
23× 0+2
--
17 1.6.6
easy-format[U] - Graph - 1.2.0-1 - 1.2.0-1
-
Git
ERROR
23× 0+5
--
38 1.3.1
hol-light[U] 3 Graph 1 20170109-1 -
Excuse
20170109-2 - 20170706-0u4
-
Git
ERROR

0+3 U X
--
-
216 -
mikmatch[U] - Graph - 1.0.8-1 - 1.0.8-1
-
Git
ERROR
23× 0+2 S T U
MA
--
4 1.0.8
oasis[U] 1 Graph - 0.4.6-1 0.4.10-2 - 0.4.10-2
-
Git
ERROR

0+3
MA
--
31 0.4.11
ocaml-atd[U] - Graph - 1.1.2-1 2.0.0-3 - 2.0.0-3
-
Git

0+2 S T U

9 2.0.0
ocaml-benchmark[U] - Graph - 1.3-1 1.3-2 - 1.3-2
-
Git
ERROR
23× 0+3 S T U
--
6 1.3
ocaml-extunix[U] - Graph - 0.1.3-1 0.1.6-1 - 0.1.6-1
-
Git

S T U
--
10 0.1.7
ocaml-fileutils[U] - Graph - 0.4.5-4 0.5.3-1 - 0.5.3-1
-
Git

S T U
--
31 0.5.3
otags[U] - Graph - 4.02.2-2 4.05.1-1 - 4.05.1-1
-
Git
ERROR
23× 0+4 S T U
--
130 4.05.1
ounit[U] 1 Graph - 2.0.0-1 2.0.8-1 - 2.0.8-1
1 bug
Git
23× S T U
--
150 2.0.8
proofgeneral 5 Graph 1 4.4.1~pre170114-1 -
Excuse
4.4.1~pre170114-1 - 4.4.1~pre170114-1
-
- 0+7 U X
MA
--
-
353 4.3~pre150930
prooftree[U] - Graph - 0.13-1 -
Excuse
0.13-1 - 0.13-1
-
Git
ERROR
23× 0+3 U X
--
-
16 0.13
tophide[U] - Graph - 1.0.3-1 1.0.4-1 - 1.0.4-1
-
Git
ERROR

--
6 1.0.4
uuidm[U] - Graph - 0.9.5-1 0.9.6-1 - 0.9.6-1
-
Git
23×
--
19 0.9.7
yojson[U] 1 Graph - 1.3.2-1 - 1.3.2-1
-
Git
ERROR
23× S T U
--
28 1.4.1

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
coq-doc[U] 1 Graph - 8.4pl4-2 - 8.6-1 - 8.6-1
1 bug
Git
ERROR
Buildd
Logs
0+3 -
--
(-)
71 -

Owned WNPP bugs (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
ocaml-libtopkg[ITP] - Graph - - - - Buildd
Logs
-
--
-
- -

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: Mon Jul 15 21:01:09 UTC 2019, projectb: Tue Jul 16 02:00:23 UTC 2019, bugs: Tue Jul 16 01:49:04 UTC 2019. Time needed to generate page: 0.21s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.