Maintainer hendrik@askra.de

Contact

Repository activity

Repository Packages Projects Feeds
Total Newest Outdated Problematic See also
Parrot 14 14 13 92.9% 1 7.1% - HCO LN U html, atomAtom feed
Raspbian Testing 14 14 13 92.9% 1 7.1% - HCO LN U html, atomAtom feed
Debian Unstable 13 13 12 92.3% 1 7.7% - HCO LN U html, atomAtom feed
Devuan Unstable 13 13 12 92.3% 1 7.7% - HCO LN U html, atomAtom feed
Devuan 4.0 (Chimaera) 11 11 10 90.9% 1 9.1% - HCO LN U html, atomAtom feed
Kali Linux Rolling 11 11 10 90.9% 1 9.1% - HCO LN U html, atomAtom feed
Debian Testing 11 11 10 90.9% 1 9.1% - HCO LN U html, atomAtom feed
PureOS landing 11 11 10 90.9% 1 9.1% - HCO LN U html, atomAtom feed
Ubuntu 20.04 13 13 10 76.9% 3 23.1% - HCO LN U html, atomAtom feed
Ubuntu 18.10 22 22 10 45.5% 12 54.5% - HCO LN U html, atomAtom feed
Ubuntu 18.04 21 21 9 42.9% 12 57.1% - HCO LN U html, atomAtom feed
Ubuntu 19.04 21 21 9 42.9% 12 57.1% - HCO LN U html, atomAtom feed
Raspbian Stable 21 21 9 42.9% 12 57.1% - HCO LN U html, atomAtom feed
Deepin 22 22 9 40.9% 13 59.1% - HCO LN U html, atomAtom feed
Ubuntu 19.10 12 12 8 66.7% 4 33.3% - HCO LN U html, atomAtom feed
Ubuntu 20.04 Proposed 8 8 7 87.5% 1 12.5% - HCO LN U html, atomAtom feed
Devuan 3.0 (Beowulf) 17 17 5 29.4% 12 70.6% - HCO LN U html, atomAtom feed
PureOS Amber 17 17 5 29.4% 12 70.6% - HCO LN U html, atomAtom feed
Debian Stable 17 17 5 29.4% 12 70.6% - HCO LN U html, atomAtom feed
Pardus 20 20 5 25.0% 15 75.0% - HCO LN U html, atomAtom feed
Devuan 2.0 (ASCII) 20 20 5 25.0% 15 75.0% - HCO LN U html, atomAtom feed
Debian Oldstable 20 20 5 25.0% 15 75.0% - HCO LN U html, atomAtom feed
Raspbian Oldstable 20 20 5 25.0% 15 75.0% - 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 475 22 14 63.6% 20 90.9% - HCO LN U

Problems

There are 314 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