Maintainer hendrik@askra.de

Contact

Repository activity

Repository Packages Projects Feeds
Total Newest Outdated Problematic Potentially vulnerable See also
Parrot 9 9 9 100.0% --- HCO LN U html, atomAtom feed
Raspbian Testing 9 9 9 100.0% --- HCO LN U html, atomAtom feed
Ubuntu 20.04 13 13 9 69.2% 4 30.8% -- HCO LN U html, atomAtom feed
Ubuntu 20.10 8 8 8 100.0% --- HCO LN U html, atomAtom feed
Debian Unstable 8 8 8 100.0% --- HCO LN U html, atomAtom feed
Devuan Unstable 8 8 8 100.0% --- HCO LN U html, atomAtom feed
Ubuntu 18.04 21 21 8 38.1% 13 61.9% -- HCO LN U html, atomAtom feed
Devuan 4.0 (Chimaera) 7 7 7 100.0% --- HCO LN U html, atomAtom feed
Kali Linux Rolling 7 7 7 100.0% --- HCO LN U html, atomAtom feed
Debian Testing 7 7 7 100.0% --- HCO LN U html, atomAtom feed
PureOS landing 7 7 7 100.0% --- HCO LN U html, atomAtom feed
Raspbian Stable 21 21 7 33.3% 14 66.7% -- HCO LN U html, atomAtom feed
Deepin 22 22 7 31.8% 15 68.2% -- HCO LN U html, atomAtom feed
Ubuntu 19.10 12 12 6 50.0% 6 50.0% -- HCO LN U html, atomAtom feed
Pardus 20 20 4 20.0% 16 80.0% -- HCO LN U html, atomAtom feed
Devuan 2.0 (ASCII) 20 20 4 20.0% 16 80.0% -- HCO LN U html, atomAtom feed
Debian Oldstable 20 20 4 20.0% 16 80.0% -- HCO LN U html, atomAtom feed
Raspbian Oldstable 20 20 4 20.0% 16 80.0% -- HCO LN U html, atomAtom feed
Devuan 3.0 (Beowulf) 17 17 3 17.6% 14 82.4% -- HCO LN U html, atomAtom feed
PureOS Amber 17 17 3 17.6% 14 82.4% -- HCO LN U html, atomAtom feed
Debian Stable 17 17 3 17.6% 14 82.4% -- HCO LN U html, atomAtom feed
Devuan 1.0 (Jessie) 20 20 1 5.0% 19 95.0% -- HCO LN U html, atomAtom feed
Trisquel 7.0 20 20 1 5.0% 19 95.0% -- HCO LN U html, atomAtom feed
Trisquel 8.0 20 20 1 5.0% 19 95.0% -- HCO LN U html, atomAtom feed
Ubuntu 14.04 20 20 1 5.0% 19 95.0% -- HCO LN U html, atomAtom feed
Ubuntu 16.04 20 20 1 5.0% 19 95.0% -- HCO LN U html, atomAtom feed
Astra Orel Stable 3 3 - 3 100.0% -- HCO LN U html, atomAtom feed
Astra Orel Current 3 3 - 3 100.0% -- HCO LN U html, atomAtom feed
Total 396 22 11 50.0% 20 90.9% -- HCO LN U

Problems

There are 270 known problems for packages maintained by hendrik@askra.de

Categories

This maintainer is active in the following package categories:

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