Maintainer gebner@gebner.org

Contact

Packages

Total

87

Newest

41

Outdated

27

Ignored

4

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 4 known problems for packages maintained by gebner@gebner.org

Categories

This maintainer is active in the following package categories:

Packages

There are 87 total package(s) for 43 distinct project(s) known.

abcde, aspino, cvc4, elan, eprover, fonts:ipa, fstar, glucose, glucose-syrup, goldendict, heaptrack, hledger-diff, ibus-anthy, ibus-mozc, ibus-qt, iprover, jabref, lean, lean2, libde265, libeb, libheif, libqalculate, metis-prover, minisat, ocaml:stdint, open-wbo, opensmtpd-extras, procmail, pubs, python:khal, python:pyfakefs, python:rlp, python:shippai, qalculate-gtk, simp-le-client, speedcrunch, tegaki-zinnia-japanese, tokei, tptp, vampire, verit, zinnia

Similar maintainers