Packages overview for Ralf Treinen

Ralf Treinen <treinen@debian.org> — Bugs: open - RC - all - submitted - usertags - WNPP - Graph — Reports: Dashboard - Buildd - Lintian - Piuparts - Janitor - Contributions - Repology - Portfolio

main (61)

Source Package Bugs Version Ubuntu VCS Buildd Lintian Deb
check		 Piu
parts		 CI Audit Popcon Watch
All RC oldstable stable testing unstable exp E+W Rep
advi[U] 10
(12) Graph		 - 1.10.2-9 2.0.0-4 2.0.0-5 - 2.0.0-5
1 bug		 Git
✔		 19×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✔✔✔ 51 2.0.0
approx[U][RFA] 22 Graph - 5.12-1
5.13-1~bpo12+1		 5.13-1 5.13-3 - 5.13-3
2 bugs		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✔ 84 -
aribas 6 Graph 1 1.65-1 -
Excuse		 1.65-1 - 1.65-1u1
1 bug		 Git !1
✔		 ⎇✔✔✔✔✔✔✔✔✘
✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 ✔ ✔
- ✔		 ✘✔✔ 12 ERROR
aspcud 6 Graph - 1:1.9.6-2 1:1.9.6-3 - 1:1.9.6-3
-		 Git
1%1.9.6-2+4		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 84 1.9.6
bibtex2html[U] 1 Graph - 1.99-3 1.99-4 - 1.99-4
1 bug		 Git
✔		 18×✓ ✔ ✔ ✔
 ✔ ✔
✔ ✔		 ✘✔✔ 224 ERROR
caml-mode[U] 1 Graph - 4.06-2 4.9-4 - 4.9-4
-		 Git
✔		 1×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✔✔✔ 380 4.9
camlbz2[U] 1 Graph - 0.7.0-1 0.8.0-2 0.8.0-3 - 0.8.0-3
-		 Git ✔
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 25 0.8.0
camlidl[U] 1 Graph - 1.11-1 1.12-1 1.13-2 - 1.13-2
-		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✔✔✔ 100 113
camlimages[U] - Graph - 1:5.0.4-2 1:5.0.5-2 - 1:5.0.5-2
-		 Git failed
1%5.0.5-2+1		 ✔✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✔ 66 ERROR
camlzip[U] - Graph - 1.11-1 1.13-1 1.14-1 - 1.14-1
-		 Git
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 122 1.14
coccinelle[U] 3 Graph - 1.1.1.deb-2 1.3.0.deb-1 - 1.3.0.deb-1
-		 Git failed
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔✔		 ✔ S T U ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 132 1.3
coinst[U] 2 Graph - 1.9.3-3 1.9.3-6 - 1.9.3-6
-		 Git
✔		 18×✓ ✔ S T U ✔
 - -
✔ ✔		 ✔✔✔ 2 1.9.3
coq[U] 2 Graph - 8.16.1+dfsg-1 8.20.1+dfsg-1 9.2.0+dfsg-4 - 9.2.0+dfsg-4
-		 Git failed
✔		 ⎇✔✔✔✔✔✘✔✔✔
∉✔✔✔✔✔✔✔∉		 ✔ S ✔
 🚧 (✔)
FTBR BAD		 ✔✔✔ 268 9.3.0
cryptokit[U] 2 Graph - 1.18-1 1.20.1-1 1.21.1-1 - 1.21.1-1
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔∿		 ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✔ 98 121
cudf[U] 1 Graph - 0.9-2 0.10-6 - 0.10-6
-		 Git
✔		 18×✓ ✔ ✔ ✔
MA		 🚧 ✔
✔ ✔		 ✘✔✔ 7 ERROR
dh-ocaml[U] 7 Graph - 1.1.3 2.4 3.8 - 3.8
-		 Git
✔		 1×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✔✔✔ 137 -
dose3[U] 31 Graph - 7.0.0-1 7.0.0-6 7.0.0-8 - 7.0.0-8
-		 Git ✔
✔		 ✔✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔∉		 ✔ ✔ ✔
 🚧 (✔)
✔ ✔		 ✔✔✘ 155 7.0.0
frama-c[U][RFH] 6 Graph 1 20220511-manganese-3 -
Excuse		 20220511-manganese-5 - - Git
✔		 ⎇✘✘✘✘✘✘✘✘✘
✘✘✘✘✘✘✘✘✘		 ✔ U X
 ✔ fail
- ✔		 ✘✔✔ 8 ERROR
gmanedit - Graph - 0.4.2-8 - - - Buildd
Logs		 ✔ ✔ -
 - -
- -		 --- 26 -
gringo[U] - Graph - 5.4.1-3.1 5.6.2-2 5.8.0-2 - 5.8.0-2
-		 Git ✔
✔		 ⎇✔✔✔✔✔✔✔✔✔
✔✔✔✔✔✔∿∿✔		 ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 127 5.8.2
headache[U] 2 Graph - 1.06-1 1.08-2 - 1.08-2
3 bugs (1 patch)		 Git
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 13 1.08
hevea[U] 6 Graph - 2.36-1 2.36-2 2.38-1 - 2.38-1
3 bugs		 Git
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 183 2.38
hlins[U] - Graph - 0.39-29 0.40-1 0.40-2
Excuse		 0.40-1
-		 Git
0.40-1		 18×✓
18×✓		 ✔ ✔ X
 🚧 ✔
✔ ✔		 ✔✔✔ 11 0.40
lablgl[U] 1 Graph - 1:1.06-1 1:1.07-2 - 1:1.07-2
-		 Git !1
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✔✔✔ 23 1.07
lablgtk2[U] - Graph - 2.18.13-1 - - - Buildd
Logs		 ✔ ✔ -
 - -
- -		 --- 131 -
lablgtk3[U] 1 Graph - 3.1.3-1 3.1.5-1 3.1.5-4 - 3.1.5-4
3 bugs		 Git failed
✔		 ✔✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔∉		 ✔ ✔ ✔
 🚧 (✔)
✔ ✔		 ✔✔✔ 116 3.1.5
lbt[U] 1 Graph - 1.2.2-7 - 1.2.2-7
-		 Git
1.2.2-8		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 62 1.2.2
ledit[U] 1 Graph - 2.04-6 2.04-8 - 2.04-8
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔∉		 ✔ ✔ ✔
 - -
✔ ✔		 ✔✔✔ 2120 2.04
maria[U] - Graph - 1.3.5-4.1 1.3.5-6 - 1.3.5-6
1 bug		 Git failed
✔		 19×✓ ✔ ✔ ✔
MA		 - -
✔ ✔		 ✔✔✔ 59 1.3.5
mccs 3 Graph 1 1:1.1-10 -
Excuse		 1:1.1-10 - 1:1.1-10
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✘
✔✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 ✔ ✔
- ✔		 ✘✔✔ 36 -
menhir[U] - Graph - 20220210+ds-2 20240715+ds-1 20260209+ds-3 - 20260209+ds-3
-		 Git failed
✔		 19×✓ ✔ ✔ ✔
 ✔ (✔)
✔ ✔		 ✔✔✔ 126 20260209
meta-ocaml[U] - Graph - 4.08.1.2 5 6 - 6
-		 Git
✔		 1×✓ ✔ S T ✔
 - -
✔ ✔		 ✔✔✔ 102 -
minisat+[U] 1 Graph - 1.0-4 1.0-5 - 1.0-5
-		 Git failed
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✘✔✔ 29 -
mlgmp[U] - Graph - 20021123-21 20021123-23 - 20021123-23
1 bug		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✔ 11 20120224
mona[U] 1 Graph - 1.4-18-1 - 1.4-18-1
-		 Git
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
FTBR ✔		 ✔✔✔ 24 1.4-18
morbig[U] - Graph - 0.10.4-6 0.11.0-3 0.11.0-7 - 0.11.0-7
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 ✔ (✔)
✔ ✔		 ✔✘✔ 6 0.12.0
morsmall[U] - Graph - 0.3.0-4 0.3.0-8 - 0.3.0-8
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 ✔ ✔
✔ ✔		 ✔✔✔ - 0.3.0
ocaml[U] 10 Graph - 4.13.1-4 5.3.0-3 5.4.1-1 5.5.1-1~exp1
Excuse		 5.4.1-1u1
3 bugs		 Git
5.4.1-1		 19×✓
19×✓		 ✔ ✔ ✔
MA		 - -
✔ ✔		 ✔✔✔ 3026 ERROR
ocaml-cairo2[U] - Graph - 0.6.4+dfsg-1 0.6.5-2 - 0.6.5-2
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 ✔ ✔
✔ ✔		 ✔✔✔ 519 0.6.5
ocaml-fpath[U] - Graph - 0.7.3-2 0.7.3-3 0.7.3-4 - 0.7.3-4
-		 Git
✔		 18×✓ ✔ ✔ ✔
 ✔ ✔
✔ ✔		 ✘✔✔ 50 0.7.3
ocaml-gnuplot[U] - Graph - 0.8.3-4 0.8.3-6 - 0.8.3-6
-		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✔✘✔ 4 0.8.3
ocaml-odoc[U] - Graph - 2.1.1+dfsg-2 3.0.0-2 3.2.1-2 - 3.2.1-2
-		 Git ✔
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 27 3.2.1
ocaml-tools[U] 4 Graph - 20120103-9 20120103-13 20120103-15 - 20120103-15
-		 Git
✔		 1×✓ ✔ S T U ✔
 - -
✔ ✔		 ✘✔✔ 114 -
ocaml-visitors[U] 1 Graph - 20210608-1 20250212-1 20260520-1 - 20260520-1
-		 Git
✔		 19×✓ ✔ ✔ ✔
 ✔ (✔)
✔ ✔		 ✔✔✔ 3 20260520
ocamldsort[U] 1 Graph - 0.16.0-7 0.16.0-9 0.16.0-10 - 0.16.0-10
-		 Git
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✘✔✔ 62 ERROR
ocamlify[U][RFA] - Graph - 0.0.2-9 0.0.2-11 - 0.0.2-11
-		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✔ 4 ERROR
ocamlmakefile[U] 2 Graph 1 6.39.2-1 6.39.2-2 -
Excuse		 6.39.2-3 - 6.39.2-3
-		 Git
✔		 1×✓ ✔ ✔ ✔
 fail ✔
- ✔		 ✔✔✔ 66 6.39.2
ocamlwc[U] - Graph - 0.3-18 0.3-21 - 0.3-21
-		 Git
✔		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✘✔✔ 4 ERROR
ocamlweb[U] 1 Graph - 1.41-4 1.41-8 - 1.41-8
-		 Git
✔		 18×✓ ✔ ✔ ✔
 ✔ ✔
✔ ✔		 ✘✔✔ 65 ERROR
ocplib-simplex[U] - Graph - 0.4-2 0.5.1-4 0.5.1-6 - 0.5.1-6
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔∉		 ✔ ✔ ✔
 🚧 (✔)
✔ ✔		 ✔✔✔ 1 0.5.1
packup - Graph - 0.6-3.1 0.6-3.2 - 0.6-3.2
-		 Git ✔
0.6-3.1+11		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✘✔ 8 0.6
planets[U] 2 Graph - 0.1.13-20 0.1.13-23 - 0.1.13-23
1 bug		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✔ 156 ERROR
ppx-derivers[U] - Graph - 1.2.1-1 1.2.1-4 - 1.2.1-4
-		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✔✔✔ 729 1.2.1
ppx-deriving[U] - Graph - 5.2.1-1 6.0.3-1 6.2.0-1 - 6.1.3-1
-		 Git
✔		 18×✓ ✔ ✔ ✔
 🚧 (✔)
✔ ✔		 ✔✔✔ 21 6.2.0
ppx-deriving-yojson[U] - Graph - 3.7.0-1 3.9.1-1 3.10.0-2 - 3.10.0-2
-		 Git
✔		 ⎇✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔✔		 ✔ ✔ ✔
 ✔ ✔
✔ ✔		 ✔✔✔ 3 3.10.0
spass[U] 2 Graph - 3.9-1.1 - 3.9-1.1
-		 Git
3.9-1		 18×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✘✘✔ 26 37
ssreflect[U] 1 Graph - 1.15.0-1 2.3.0-1 -
Excuse		 2.6.0-3 - 2.6.0-3
-		 Git
✔		 ✔∉✔✔∉∉∉∉∉∉
∉∉∉✔✔✔∉∉∉		 ✔ S ✔
 ✔ (fail)
- ✔		 ✔✔✔ 8 2.6.0
syslog-ocaml[U] 1 Graph - 2.0.2-1 2.0.2-4 - 2.0.2-4
-		 Git
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✘ 4 ERROR
tuareg-mode[U] 3 Graph - 1:2.2.0-1 1:3.0.1-3 - 1:3.0.1-3
-		 Git
✔		 1×✓ ✔ ✔ ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 203 3.1.0
why3[U] 3 Graph - 1.5.1-1 1.8.0-2 1.8.2-3 - 1.8.2-3
-		 Git failed
✔		 ✔✔✔✔✔✔✔✔✔✔
∉✔✔✔✔✔✔✔∉		 ✔ T U ✔
 🚧 ✔
✔ ✔		 ✔✔✔ 36 1.8.2
xdemineur 4 Graph - 2.1.1-21 2.1.1-23 - 2.1.1-23
-		 Git !1
✔		 18×✓ ✔ ✔ ✔
 - -
✔ ✔		 ✘✔✔ 217 -

non-free (2)

Source Package Bugs Version Ubuntu VCS Buildd Lintian Deb
check		 Piu
parts		 CI Audit Popcon Watch
All RC oldstable stable testing unstable exp E+W Rep
hevea-doc[U] 1 Graph - 2.36-1 - 2.36-1
-		 Git
2.36-2		 Buildd
Logs		 ✔ ✔ -
 - -
(-) (-)		 ✘✔✔ 62 2.38
ocaml-doc[U] 2 Graph - 4.11-2 - 4.11-2
1 bug		 Git
4.11-3		 Buildd
Logs		 ✔ ✔ -
 - -
(-) (-)		 ✘✔✔ 110 4.07

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=)


Audit
(&debaudit=)


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?)
  grey: upstream project is not currently trackable
  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: Wed Oct 7 08:45:18 UTC 2026, projectb: Wed Oct 7 12:15:06 UTC 2026, bugs: Wed Oct 7 12:19:01 UTC 2026. Time needed to generate page: 0.01s
Git repository | Report problems with DDPO to the qa.debian.org pseudopackage.