Maintainer hendrik@askra.de

Contact

Packages

Total

526

Newest

159

Outdated

245

Ignored

0

Package lists

Package filtering in Repology is very flexible, so you can combine all kinds of conditions. But here are some preset queries to start with:

Repositories

This maintainer is active in the following repositories:

Problems

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

Categories

This maintainer is active in the following package categories:

Packages

There are 526 total package(s) for 22 distinct project(s) known.

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