Maintainer hendrik@askra.de

Contact

Packages

Total

492

Newest

124

Outdated

263

Ignored

0

Metapackage lists

Metapackage 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 194 known problems for packages maintained by hendrik@askra.de

Categories

This maintainer is active in the following package categories:

Metapackages (22)

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