Contact
- E-Mail: hendrik@askra.de
Repository activity
Categories
This maintainer is active in the following package categories:
- ocaml (18)
- universe/ocaml (12)
- universe/libdevel (3)
- misc (2)
- universe/devel (2)
- devel (1)
- editors (1)
- libdevel (1)
- math (1)
- multiverse/doc (1)
- non-free/doc (1)
- science (1)
- universe/editors (1)
- universe/math (1)
- universe/misc (1)
Projects
atdgen, biniou, caml2html, camlmix, cmdliner, coq-doc, cppo, easy-format, hol-light, mikmatch, oasis, ocaml:atd, ocaml:benchmark, ocaml:extunix, ocaml:fileutils, ocaml:uuidm, otags, ounit, proofgeneral, prooftree, tophide, yojson
Similar maintainers
| Maintainer | Score | Common projects |
|---|---|---|
| slavutich@altlinux.org | 4.55 | 1 |
| debian-ocaml-maint@lists.debian.org | 4.47 | 21 |
| jwilberding@afiniate.com | 4.35 | 1 |
| gildor@debian.org | 4.17 | 2 |
| aij+git@mrph.org | 3.70 | 1 |
| mehdi@debian.org | 3.49 | 3 |
| snejok@altlinux.ru | 3.45 | 1 |
| casasfernando@outlook.com | 3.45 | 1 |
| mfurr@debian.org | 3.33 | 1 |
| rkitover@gmail.com | 3.33 | 1 |
| matthew.r.maurer+nix@gmail.com | 3.23 | 1 |
| marco.maggesi@gmail.com | 2.22 | 1 |
| glondu@debian.org | 1.92 | 4 |
| lifongsun@gmail.com | 1.85 | 1 |
| dringsim@aur | 1.77 | 2 |
| hv15@aur | 1.61 | 1 |
| jaroslavas@volth.com | 1.56 | 1 |
| jpuydt@debian.org | 1.44 | 4 |
| gilcu3@aur | 1.23 | 1 |
| team+math@tracker.debian.org | 1.22 | 1 |
| landonf@github | 1.08 | 1 |
| landonf@macports | 1.08 | 1 |
| smimram@debian.org | 0.97 | 1 |
| johnw@newartisans.com | 0.91 | 1 |
| Maintainer | Score | Common projects |
|---|---|---|
| ml@gentoo.org | 0.75 | 2 |
| dpeukert@aur | 0.48 | 1 |
| oddity@altlinux.ru | 0.45 | 1 |
| vincent.laporte@gmail.com | 0.43 | 2 |
| aseipp@pobox.com | 0.42 | 1 |
| rider@altlinux.org | 0.38 | 3 |
| gnu-emacs@gentoo.org | 0.20 | 1 |
| cielesti@protonmail.com | 0.20 | 2 |
| ubuntu-devel-discuss@lists.ubuntu.com | 0.13 | 19 |
| proxy-maint@gentoo.org | 0.07 | 1 |
| orphaned@cygwin | 0.06 | 1 |
| m.novosyolov@rosalinux.ru | 0.05 | 2 |
| andrew.lukoshko@rosalab.ru | 0.04 | 1 |
| releng@rockylinux.org | 0.04 | 1 |
| builder@centos.org | 0.04 | 1 |
| packager@almalinux.org | 0.04 | 1 |
| a.proklov@rosalinux.ru | 0.03 | 1 |
| alex2048@mail.ru | 0.03 | 1 |
| silvan.calarco@mambasoft.it | 0.02 | 1 |
| alexander@mezon.ru | 0.02 | 3 |
| nomaintainer@macports.org | 0.01 | 1 |
| fallback-mnt-aur@repology | 0.01 | 1 |
| bero@lindev.ch | 0.01 | 1 |
| fallback-mnt-nix@repology | 0.00 | 1 |